(Enter summary)
Abstract: In this paper we propose a new agent communication language which separates agent dialogue from
any speci
c agent reasoning technology. This language is intended to address a number of perceived
shortcomings with the mentalistic model of agent communication on which the FIPA-ACL standard is
founded. Our language expresses inter-agent dialogue through the use of agent protocols, and is intended
to be independent of the technology used for message delivery. In this paper we specify the... (Update)
Active bibliography (related documents): More All
0.8: Flexible Multi-Agent Protocols - Walton, Robertson (2002)
(Correct)
0.8: Multi-Agent Dialogue Protocols - Walton (2003)
(Correct)
0.6: Verifiable Agent Dialogues - Walton (2005)
(Correct)
Similar documents based on text: More All
0.5: Model Checking Multi-Agent Web Services - Christopher Walton Centre (2004)
(Correct)
0.3: Using Distributed Protocols as an Implementation of.. - McGinnis, Robertson..
(Correct)
0.2: Using Shared Models of Activity for Coalition.. - Tate, Dalton, Levine.. (2003)
(Correct)
BibTeX entry: (Update)
@misc{ walton-dialogue,
author = "Christopher D. Walton",
title = "Dialogue Protocols for Multi-Agent Systems",
url = "citeseer.ist.psu.edu/walton03dialogue.html" }
Citations (may not include all citations):
828
Model Checking
- Clarke, Grumberg et al. - 1999
447
Prentice-Hall International (context) - Milner, Concurrency - 1989
233
Natural Semantics (context) - Kahn - 1987
156
Rational interaction as the basis for communication (context) - Cohen, Levesque - 1990
73
Decision procedures for BDI logics (context) - Rao, George - 1998
54
Agent Communication Languages: Rethinking the Principles (context) - Singh - 1998
30
What is a Conversation Policy
- Greaves, Holmback et al. - 1999
10
Commitment-based and Dialogue-game based Protocols { New Tre.. (context) - Maudet, Chaib-draa - 2002
7
FIPA Speci cation Part 2 - Agent Communication Language (context) - for, Agents - 1999
7
Semantic issues in the veri cation of agent communication la.. (context) - Wooldridge - 2000
6
Skeleton-based agent development for Electronic Institutions (context) - Vasconcelos, Sabater et al. - 2002
6
Statecharts: A Visual Formalism for Computer System (context) - Harel - 1987
5
World-Wide-Web Consortium (context) - Booth, Haas et al. - 2003
5
Speci cation and Implementation of a Belief-Desire-Joint-Int.. (context) - Jennings - 1993
5
the Formal Speci cation of Electronic Institutions (context) - Esteva, Rodr et al. - 2001
3
Towards a Formal Speci - cation of Complex Social Structures.. (context) - Rodr, Mart et al. - 2000
1
An Approach to Rapid Prototyping of Large MultiAgent Systems
- Vasconcelos, Sierra et al. - 2002
Documents on the same site (http://homepages.inf.ed.ac.uk/cdw/publications.html): More
Using Distributed Protocols as an Implementation of.. - McGinnis, Robertson..
(Correct)
Review of SLIE Framework and Experiments - Walton, Biris-Brilhante, Phelps, .. (2003)
(Correct)
Plan Execution Failure Analysis Using Plan Deconstruction - McNeill, Bundy, Walton.. (2003)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC