468 search results - page 1 / 94 » Reasoning about action and cooperation |
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
DALT
2009
Springer
14 years 11 days ago
2009
Springer
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...
KR
1992
Springer
13 years 10 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
KR
1998
Springer
13 years 10 months ago
1998
Springer
AAAI
2007
13 years 8 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...