1151 search results - page 164 / 231 » Collaborative Programming: Applications of Logic and Automat... |
146
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
147
Voted
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
139
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
169
Voted
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
136
Voted
DLOG
2004
15 years 5 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...