Christopher D. Walton  Home/Search
Context
Related
| homepages.inf.ed.ac.uk/cdw/pa...vad.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.ac.uk/cd...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we introduce the Multi-Agent Protocol (MAP) language which expresses dialogues in Multi-Agent Systems. MAP defines precisely the pattern of message exchange that occurs between the agents, though it is independent of the actual rational processes and message-content. This approach makes MAP applicable to a wide range of di#erent agent architectures, e.g. reactive, proactive, and deductive agent systems. (Update)
Active bibliography (related documents): More All
1.3: Model Checking Agent Dialogues - Christopher Walton Centre (Correct)
0.8: Specifying Protocols for Knowledge Transfer and Action.. - Grando, Walton (2006) (Correct)
0.6: Dialogue Protocols for Multi-Agent Systems - Walton (2003) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ walton-verifiable,
author = "Christopher D. Walton",
title = "Verifiable Agent Dialogues",
url = "citeseer.ist.psu.edu/walton05verifiable.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
233 Natural Semantics (context) - Kahn - 1987 ACM DBLP
200 and Practical Reason (context) - Bratman, Plans - 1987
130 On Agent-Based Software Engineering - Jennings - 2000
77 nondeterminacy and formal derivation of programs (context) - Dijkstra, commands - 1975
76 Commitment in Dialogue: Basic Concepts of Interpersonal Reas.. (context) - Walton, Krabbe - 1995
54 Agent Communication Languages: Rethinking the Principles (context) - Singh - 1998
40 The SPIN Model Checker: Primer and Reference Manual (context) - Holzmann - 2003
39 Model Checking Multiagent Systems - Benerecetti, Giunchiglia et al. - 1998 DBLP
38 Games that agents play: A formal framework for dialogues bet.. - McBurney, Parsons - 2002 DBLP
38 Specification and Implementation of a Belief-Desire-JointInt.. - Jennings - 1993
31 Model Checking Multiagent systems with MABLE - Wooldridge, Fisher et al. - 2002
30 What is a Conversation Policy - Greaves, Holmback et al. - 1999
26 Verifying Epistemic Properties of Multi-agent Systems via Bo.. - Penczek, Lomuscio - 2003 ACM DBLP
25 the Formal Specification of Electronic Institutions (context) - Esteva, Rodrguez et al. - 1991
24 Model Checking AgentSpeak - Bordini, Fisher et al. - 2003 ACM DBLP
21 Semantic Issues in the Verification of Agent Communication L.. - Wooldridge - 2000 ACM DBLP
10 Commitment-based and Dialogue-game based Protocols--News Tre.. (context) - Maudet, Chaib-draa - 2002
8 Fipa specification part 2 - agent communication language (context) - Intelligent, Agents - 1999
7 The DARPA Knowledge Sharing E#ort: Progress Report - Patil, Fikes et al. - 1992
6 Statecharts: A Visual Formalism for Computer System (context) - Harel - 1987
6 Skeleton-based Agent Development for Electronic Institutions (context) - Vasconcelos, Sabater et al. - 2002 ACM DBLP
5 World-Wide-Web Consortium (context) - Booth, Haas et al. - 2003
4 Bringing Coherence to Agent Conversations - Flores, Kremer - 2001 ACM DBLP
4 Model Checking Cooperation (context) - van der Hoek, Wooldridge - 2003
3 BDI-agents: from theory to practise (context) - Rao, George - 1995
3 Science Experiment Builder (context) - Walton, Barker et al. - 2004
3 MetateM: an Imperative Approach to Temporal Logic Programmin.. (context) - Barringer, Fisher et al. - 1995
2 Towards a Formal Specification of Complex Social Structures .. (context) - Rodrguez, Martn et al. - 2000 ACM DBLP
1 Model Checking for ACL Compliance Verification - Huget, Wooldridge - 2003 ACM DBLP
1 Using Distributed Protocols as an Implementation of Dialogue.. - McGinnis, Robertson et al. - 2003
1 State-space Reduction Techniques in Agent Verification (context) - Bordini, Fisher et al. - 2004 ACM
Documents on the same site (http://homepages.inf.ed.ac.uk/cdw/index.html): More
Agent Protocols for Peer-to-Peer Architectures - Walton (Correct)
On the Emergent Semantic Web and Overlooked Issues - Kalfoglou, Alani.. (2004) (Correct)
On Repairing Reasoning Reversals via Representational.. - Alan Bundy Fiona (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