76 search results - page 9 / 16 » A Method for Reasoning about other Agents' Beliefs from Obse... |
AAAI
2004
13 years 10 months ago
2004
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible ...
KI
2005
Springer
14 years 2 months ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
CCIA
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
AIIDE
2008
13 years 11 months ago
2008
Emergent narrative refers to simulation-based systems in which stories emerge from the autonomous interactions among character agents and/or the human player. Despite its advantag...
AAAI
1993
13 years 10 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...