376 search results - page 3 / 76 » Agent Logics as Program Logics: Grounding KARO |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
AAAI
2008
13 years 9 months ago
2008
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
AAAI
2006
13 years 8 months ago
2006
Several forms of reasoning in AI
LPNMR
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
ATAL
1999
Springer
13 years 11 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...