30 search results - page 1 / 6 » Model-Based Knowledge Representation and Reasoning Via Answe... |
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
ASP
2001
Springer
13 years 9 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
AMAI
2006
Springer
13 years 5 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
LPNMR
2009
Springer
13 years 12 months ago
2009
Springer
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is