50 search results - page 6 / 10 » (De)Composition of Situation Calculus Theories |
AAAI
2000
13 years 8 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
AAAI
2007
13 years 9 months ago
2007
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
ICAS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
IJCAI
2001
13 years 8 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...