Michael Wooldridge  Home/Search
Context Related
| csc.liv.ac.uk/~mjw/...jaamas2000a.ps.gz 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: csc.liv.ac.uk/~mjw/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such languages -- a semantics where conformance (or otherwise) to the semantics could be determined by an independent observer. These problems are precisely defined in an abstract formal framework. Using this framework, a number of example agent communication frameworks are defined. A discussion is then presented, of the various... (Update)
Cited by: More
Model Checking Agent Dialogues - Christopher Walton Centre (Correct)
Verifiable Agent Dialogues - Walton (2005) (Correct)
On the Emergent Semantic Web and Overlooked Issues - Kalfoglou, Alani.. (2004) (Correct)
Similar documents (at the sentence level):
16.9%: Verifiable Semantics for Agent Communication Languages - Wooldridge (1998) (Correct)
Active bibliography (related documents): More All
0.5: Enumerating the Preconditions of Agent Message Types - Pelletier, Elio (2003) (Correct)
0.5: An Intelligent, Context-Sensitive AUV Mission Controller for.. - Turner (Correct)
0.3: The Computational Complexity of Agent Verification - Wooldridge, Dunne (2001) (Correct)
Similar documents based on text: More All
0.1: Plans, Inerence, and Indirect Speech - Allen, Perrault (Correct)
0.1: Agent-Based Software Engineering - Wooldridge, Fisher (1994) (Correct)
0.1: Bibliography - Chauhan (1997) (Correct)
Related documents from co-citation: More All
12: Games that agents play: A formal framework for dialogues between autonomous agen.. - McBurney, Parsons - 2002
12: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning (context) - Krabbe, Krabbe - 1995
10: FIPA. Communicative Act Library Specification. Technical Report XC00037H, Foundation for Intelligent Physical Agents, 10 August 2001.
BibTeX entry: (Update)
M. Wooldridge. Semantic issues in the verification of agent communication languages. Autonomous Agents and MultiAgent Systems, 3(1):9--31, 2000. http://citeseer.ist.psu.edu/wooldridge00semantic.html More
@article{ wooldridge00semantic,
author = "Michael Wooldridge",
title = "Semantic Issues in the Verification of Agent Communication Languages",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "3",
number = "1",
publisher = "Kluwer Academic publishers",
editor = "Nicholas Jennings and Katia Sycara and Michael Georgeff",
pages = "9--31",
year = "2000",
url = "citeseer.ist.psu.edu/wooldridge00semantic.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
951 Computational Complexity (context) - Papadimitriou - 1994
725 Temporal and Modal Logic (context) - Emerson - 1990
650 An Axiomatic Basis for Computer Programming (context) - Hoare - 1969
604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
399 Intention is Choice with Commitment (context) - Cohen, Levesque
397 Design and Synthesis of Synchronization Skeletons Using Bran.. (context) - Clarke, Emerson - 1981
362 Dynamic Logic - Harel - 1984
327 How to Do Things With Words (context) - Austin - 1962
243 Rules of Encounter: Designing Conventions for Automated Nego.. (context) - Rosenschein, Zlotkin - 1994
240 A Guide to Completeness and Complexity for Modal Logics of K.. (context) - Halpern, Moses - 1992
230 Checking that Finite State Concurrent Programs Satisfy Their.. (context) - Lichtenstein, Pnueli - 1984
224 Speech Acts: An Essay in the Philosophy of Language (context) - Searle - 1969
210 A Formal Theory of Knowledge and Action (context) - Moore - 1990
156 Rational Interaction as the basis for Communication (context) - Cohen, Levesque
149 Readings in Planning (context) - Allen, Hendler et al. - 1990
146 Commitments and Conventions: The Foundation of Coordination .. - Jennings - 1993
142 Elements of a Plan Based Theory of Speech Acts (context) - Cohen, Perrault - 1979
98 Planning English Sentences (context) - Appelt - 1985
75 Distributed Rational Decision Making - Sandholm - 1999
66 Semantics and Conversations for an Agent Communication Langu.. - Labrou, Finin - 1997
54 Agent Communication Languages: Rethinking the Principles (context) - Singh - 1998
19 Evaluating KQML as an Agent Communication Language (context) - Mayeld, Labrou et al. - 1996
19 A Rational Agent as the Kernel of a Cooperative Spoken Dialo.. (context) - Bretier, Sadek - 1997
19 A Protocol-Based Semantics for an Agent Communication Langua.. (context) - Pitt, Mamdani - 1999
18 Temporal Logic Theorem Proving (context) - Abadi - 1987
13 Modeling Agents as Qualitative Decision Makers - Brafman, Tennenholtz - 1997
13 Readings in Distributed Articial Intelligence (context) - Bond, Gasser - 1988
12 Model Checking versus Theorem Proving: A Manifesto (context) - Halpern, Vardi - 1991
11 Communicative Actions for Articial Agents - Cohen, Levesque - 1995
8 Verication tools for nitestate concurrent systems (context) - Clarke, Grumberg et al. - 1994
7 The Correctness Problem in Computer Science (context) - Boyer, Moore - 1981
5 Temporal Verication of Reactive Systems | Safety (context) - Manna, Pnueli - 1995
3 Agents on the Web: Catalyst for E-Commerce (context) - Guilfoyle, Je et al. - 1997
2 Verifying that Agents Implement a Communication Language - Wooldridge - 1999
2 The DARPA Knowledge Sharing E ort: Progress Report (context) - Patil, Fikes et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csc.liv.ac.uk/~mjw/pubs/): More
A Decision Procedure for a Temporal Belief Logic - Wooldridge, Fisher (1994) (Correct)
Towards a Theory of Cooperative Problem Solving - Wooldridge (1996) (Correct)
Agent-Based Computing - Wooldridge (1997) (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