160 search results - page 12 / 32 » Applying the Mu-Calculus in Planning and Reasoning about Act... |
AAAI
1990
13 years 9 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
AAAI
2000
13 years 10 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
ABIALS
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...
FLAIRS
2004
13 years 10 months ago
2004
We apply reasoning about mental attributes to process the scenarios of multiagent conflicts. Our approach is illustrated by the domain of complaint analysis: rather advanced metho...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...