30 search results - page 1 / 6 » Model-Based Knowledge Representation and Reasoning Via Answe... |
FLOPS
2008
Springer
15 years 8 days ago
2008
Springer
ASP
2001
Springer
15 years 2 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...
101
click to vote
ATAL
2010
Springer
14 years 11 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
14 years 10 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
15 years 5 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