39 search results - page 5 / 8 » Reasoning about agents and protocols via goals and commitmen... |
ENTCS
2006
14 years 9 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
AGENTS
1997
Springer
15 years 1 months ago
1997
Springer
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
ESAW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
70
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounter...