Temporal-logic theorem proving
Temporal-logic theorem proving
Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Model checking vs. theorem proving: a manifesto
Artificial intelligence and mathematical theory of computation
Rules of encounter: designing conventions for automated negotiation among computers
Rules of encounter: designing conventions for automated negotiation among computers
Reasoning about knowledge
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Modeling agents as qualitative decision makers
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Distributed rational decision making
Multiagent systems
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
Checking that finite state concurrent programs satisfy their linear specification
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An axiomatic basis for computer programming
Communications of the ACM
The Correctness Problem in Computer Science
The Correctness Problem in Computer Science
Planning English Sentences
A Protocol-Based Semantics for an Agent Communication Language
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Verification Tools for Finite-State Concurrent Systems
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Some thoughts on agent trust and delegation
Proceedings of the fifth international conference on Autonomous agents
Desiderata for agent argumentation protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Standardizing agent interoperability: the FIPA approach
Mutli-agents systems and applications
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
A Methodological Perspective on Engineering of Agent Societies
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Standardizing Agent Interoperability: The FIPA Approach
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Knowledge Constructions for Artificial Intelligence
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Games and Logics of Knowledge for Multi-agent Systems
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
MAS Infrastructure: Definitions, Needs and Prospects
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Guaranteeing Properties for E-commerce Systems
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
A Dialogue Game Protocol for Agent Purchase Negotiations
Autonomous Agents and Multi-Agent Systems
Posit spaces: a performative model of e-commerce
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Commitment-based and dialogue-game-based protocols: new trends in agent communication languages
The Knowledge Engineering Review
A Denotational Semantics for Deliberation Dialogues
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Locutions for Argumentation in Agent Interaction Protocols
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
On the Communication Complexity of Multilateral Trading: Extended Report
Autonomous Agents and Multi-Agent Systems
A formal framework for agent interaction semantics
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
DIAGAL: An Agent Communication Language Based on Dialogue Games and Sustained by Social Commitments
Autonomous Agents and Multi-Agent Systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Specifying protocols for multi-agent systems interaction
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Marco Somalvico Memorial Issue
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
Applied Ontology - Formal Ontologies for Communicating Agents
ACL Semantics Between Social Commitments and Mental Attitudes
Agent Communication II
Time and Defeasibility in FIPA ACL Semantics
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Argumentation in Multi-Agent Systems
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
A Mathematical Model of Dialog
Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction in Normative Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Joint conversation specification and compliance
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Semantic web technology for agent communication protocols
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
European research and development of intelligent information agents: the agentlink perspective
Intelligent information agents
Formalizing organizational constraints: a semantic approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Multi-robot learning using non-deterministic argument games
International Journal of Autonomous and Adaptive Communications Systems
Modeling and verifying business interactions via commitments and dialogue actions
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part II
A computational semantics for communicating rational agents based on mental models
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
A denotational semantics for deliberation dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Semantics and pragmatics for agent communication
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
A calculus for MAS interaction protocol
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Coherence constraints for agent interaction
AC'04 Proceedings of the 2004 international conference on Agent Communication
Locutions for argumentation in agent interaction protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Performative patterns for designing verifiable ACLs
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Normative pragmatics for agent communication languages
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Modelling trusted web applications
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
Applied Ontology - Formal Ontologies for Communicating Agents
Opponent modelling in persuasion dialogues
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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 options open to designers of agent communication languages, with respect the problem of verifying conformance.