A TLA+ specification for agent communication that enables proofs
Proceedings of the third annual conference on Autonomous Agents
Verifying that agents implement a communication language
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Agent-based software engineering
First international workshop, AOSE 2000 on Agent-oriented software engineering
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Some Remarks on the Semantics of FIPA's Agent Communication Language
Autonomous Agents and Multi-Agent Systems
Agent Communication Languages: The Current Landscape
IEEE Intelligent Systems
Formal Conversations for the Contract Net Protocol
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Reliable Agent Communication - A Pragmatic Perspective
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
Failure Semantics for the Exchange of Information in Multi-Agent Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Developer's Perspective on Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Designing Agent Communication Languages for Multi-agent Systems
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Multi-agent Systems as Concurrent Constraint Processes
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Bringing Coherence to Agent Conversations
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A fully abstract model for the exchange of information in multi-agent systems
Theoretical Computer Science
Analysis and Verification of Multi-Agent Interaction Protocols
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
Agent orientation in software engineering
The Knowledge Engineering Review
Agent technology in communications systems: an overview
The Knowledge Engineering Review
Dynamic semantics for agent communication languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Research on agent communication model and its application in electric system
WSEAS TRANSACTIONS on SYSTEMS
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
A protocol-based semantics for an agent communication language
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Action recognition and prediction for driver assistance systems using dynamic belief networks
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
A tool to facilitate agent deliberation
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A multi-agent framework based on communication and concurrency
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Intensional programming for agent communication
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Grounding social interactions in the environment
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
| Hi-index | 0.00 |
This paper 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 examined with respect to the problem of verifying conformance. A discussion is then presented, of the various options open to designers of agent communication languages, with respect the problem of verifying conformance.