Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
Fundamental Concepts in Programming Languages
Higher-Order and Symbolic Computation
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Dialogue Game Protocol for Agent Purchase Negotiations
Autonomous Agents and Multi-Agent Systems
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Annals of Mathematics and Artificial Intelligence
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
First-Class Protocols for Agent-Based Coordination of Scientific Instruments
WETICE '07 Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
A modular action description language for protocol composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A Mathematical Model of Dialog
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Annotation and Matching of First-Class Agent Interaction Protocols
Argumentation in Multi-Agent Systems
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Semantics and verification of information-based protocols
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Engineering commitment-based business protocols with the 2CL methodology
Autonomous Agents and Multi-Agent Systems
A survey of flexible agent interaction approaches
Multiagent and Grid Systems
Hi-index | 0.00 |
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically manage the numerous tasks and processes involved. Hence, research into agency and multi-agent systems are of more and more interest as an automation solution. Coordination becomes a central issue in these environments. The most promising approach is the use of interaction protocols. Interaction protocols specify the interaction or social norms for the participating agents. However the orthodoxy see protocols as rigid specifications that are defined a priori. A recent development in this field of research is the specification of protocols that are treated as first-class computational entities. This paper explores the most prominent approaches and compares them.