Sciweavers

350 search results - page 14 / 70
» Reasoning About Indefinite Actions
Sort
View
DALT
2009
Springer
14 years 2 months ago
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
Tran Cao Son, Chiaki Sakama
AIML
2004
13 years 9 months ago
On the Modularity of Theories
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...
Andreas Herzig, Ivan José Varzinczak
KI
2010
Springer
13 years 5 months ago
Spatial Cognition: Reasoning, Action, Interaction
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
Christian Freksa, Holger Schultheis, Kerstin Schil...
AAAI
2004
13 years 9 months ago
Encoding Probabilistic Causal Model in Probabilistic Action Language
Pearl's probabilistic causal model has been used in many domains to reason about causality. Pearl's treatment of actions is very different from the way actions are repre...
Nam Tran, Chitta Baral
AAAI
2012
11 years 10 months ago
Reformulating Temporal Action Logics in Answer Set Programming
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
Joohyung Lee, Ravi Palla