Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
An analysis of agent speech acts as institutional actions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
A Discipline of Programming
A Protocol-Based Semantics for an Agent Communication Language
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Interaction Protocols in Agentis
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Annals of Mathematics and Artificial Intelligence
A Pragmatic Approach to Build Conversation Protocols Using Social Commitments
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
Specifying and resolving preferences among agent interaction patterns
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Institutions in the OPAL multi-agent system
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
Deriving agent-centred representations of protocols described using propositional statecharts
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Priority-Based Message Scheduling for the Multi-agent System in Ubiquitous Environment
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Using Social Commitments to Control the Agents' Freedom of Speech
Agent Communication II
Introducing Preferences into Commitment Protocols
Agent Communication II
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Specialization of Interaction Protocols in a Temporal Action Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic web technology for agent communication protocols
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Interaction protocol for agent-based e-learning system
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Verifying business process compliance by reasoning about actions
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
Specifying and implementing a persuasion dialogue game using commitments and arguments
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Reasoning about web services in a temporal action logic
Reasoning, Action and Interaction in AI Theories and Systems
Agent communication and institutional reality
AC'04 Proceedings of the 2004 international conference on Agent Communication
A semantic approach for designing commitment protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Modeling communicative behavior using permissions and obligations
AC'04 Proceedings of the 2004 international conference on Agent Communication
B2B protocol construction as a basis for integration architecture configuration
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Decentralized monitoring of agent communications with a reputation model
Trusting Agents for Trusting Electronic Societies
Modelling flexible social commitments and their enforcement
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
A semantic approach for designing e-business protocols
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Speech acts with institutional effects in agent societies
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Modularity and composition in propositional statecharts
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Artificial Intelligence
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Towards a satisfactory conversion of messages among agent-based information systems
Expert Systems with Applications: An International Journal
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
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
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
A survey of flexible agent interaction approaches
Multiagent and Grid Systems
Hi-index | 0.00 |
We propose a method for the definition of interaction protocols to be used in open multiagent systems. Starting from the assumption that language is the fundamental component of every interaction, we first propose a semantics for Agent Communication Languages based on the notion of social commitment, and then use it to define the meaning of a set of basic communicative acts. Second, we propose a verifiable and application-independent method for the definition of interaction protocols, whose main component is the specification of an interaction diagram specifying which actions may be performed by agents under given conditions. Interaction protocols fully rely on the application-independent meaning of communicative acts. We also propose a set of soundness conditions that can be used to verify whether a protocol is reasonable. Finally, our approach is exemplified by the definition of an interaction protocol for English auctions.