Sciweavers

468 search results - page 16 / 94
» Reasoning about action and cooperation
Sort
View
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 6 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...
JOLLI
2010
171views more  JOLLI 2010»
13 years 2 months ago
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
Andreas Herzig, Emiliano Lorini
RAS
2008
136views more  RAS 2008»
13 years 6 months ago
Action evaluation for mobile robot global localization in cooperative environments
This work is about solving the global localization issue for mobile robots operating in large and cooperative environments. It tackles the problem of estimating the pose of a robo...
Andreu Corominas Murtra, Josep Maria Mirats i Tur,...
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