102 search results - page 8 / 21 » On the Epistemic Foundations of Agent Theories |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
ENTCS
2006
13 years 7 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotichanism is based on an abstract preference based argumentation fr...
ESAW
2006
Springer
13 years 11 months ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...