KQML as an agent communication language
Software agents
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
A Protocol-Based Semantics for an Agent Communication Language
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Synthesizing Finite State Machines for Communication Protocols
Synthesizing Finite State Machines for Communication Protocols
Discourse obligations in dialogue processing
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
Commitments for agent-based supply chain management
ACM SIGecom Exchanges - Chains of commitment
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Interaction is meaning: a new model for communication in open systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Commitments and causality for multiagent design
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
IEEE Internet Computing
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
A Logical Model for Commitment and Argument Network for Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Enabling Persistent Web Services via Commitments
Information Technology and Management
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Acquiring and adapting probabilistic models of agent conversation
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modeling exceptions via commitment protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Layered message semantics using social commitments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
Dynamic semantics for agent communication languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Tracking reliability and helpfulness in agent interactions
Web Intelligence and Agent Systems
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Autonomous Agents and Multi-Agent Systems
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
Debating over heterogeneous descriptions
Applied Ontology - Formal Ontologies for Communicating Agents
Towards Design Tools for Protocol Development
Agent Communication II
Adaptiveness in Agent Communication: Application and Adaptation of Conversation Patterns
Agent Communication II
Obligation-Based Agent Conversations for Semantic Web Service Composition
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
A Logical Framework for Grounding-based Dialogue Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
An empirical semantics approach to reasoning about communication
Engineering Applications of Artificial Intelligence
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A social ACL semantics by deontic constraints
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Interoperation in protocol enactment
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
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
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
Symbolic model checking commitment protocols using reduction
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Towards a model of social coherence in multi-agent organizations
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Specifying and applying commitment-based business patterns
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
Formalization and verification of interaction protocols
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A tableau method for verifying dialogue game protocols for agent communication
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A modal semantics for an argumentation-based pragmatics for agent communication
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Practical strategic reasoning and adaptation in rational argument-based negotiation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Agent communication and institutional reality
AC'04 Proceedings of the 2004 international conference on Agent Communication
Conversational semantics with social commitments
AC'04 Proceedings of the 2004 international conference on Agent Communication
Dealing with time in content language expressions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Dialogization and implicit information in an agent communicational model
AC'04 Proceedings of the 2004 international conference on Agent Communication
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Predicting exceptions in agent-based supply-chains
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Specifying and implementing social Web services operation using commitments
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Detecting conflicts in commitments
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
A retrospective on the reactive event calculus and commitment modeling language
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Open issues for normative multi-agent systems
AI Communications
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
Debating over heterogeneous descriptions
Applied Ontology - Formal Ontologies for Communicating Agents
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Using OWL 2 DL for expressing ACL content and semantics
EUMAS'11 Proceedings of the 9th European conference on Multi-Agent Systems
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
Data mining agent conversations: A qualitative approach to multiagent systems analysis
Information Sciences: an International Journal
An obligation-based framework for web service composition via agent conversations
Web Intelligence and Agent Systems
Hi-index | 0.00 |
In this paper we propose an operational method to express the meaning of the messages exchanged among agents that interact in open environments. In an open environment, like for example the Internet, agents are usually designed by different constructors, so it is very important to define the meaning of a standard, widely accepted Agent Communication Language. We express the meaning of messages using the social notion of commitment. Commitments are defined operationally within an object-oriented paradigm. We give an operational specification of the commitment class that includes the concepts of conditional commitment and precommitment. Then we use commitment objects to define the meaning of some interesting speech acts, and give an example of their use in negotiation.