156 search results - page 5 / 32 » Temporal Logics for Representing Agent Communication Protoco... |
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
DALT
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
ATAL
2004
Springer
15 years 2 months ago
2004
Springer
We propose an argumentation-based framework for representing communication theories of agents that can take into account dialogue strategies and society protocols in a way that fa...
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...