240 search results - page 20 / 48 » A Logic for Reasoning about Rational Agents |
97
Voted
ECAI
2010
Springer
14 years 12 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
SYNTHESE
2010
14 years 10 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
111
click to vote
JAIR
2011
14 years 6 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
116
click to vote
JOLLI
2010
14 years 6 months ago
2010
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 ...
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...