Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Verification of protocol conformance and agent interoperability
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Business process interoperability: extended abstract
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
Multiagent commitment alignment
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verifying Agents' Conformance with Multiparty Protocols
Computational Logic in Multi-Agent Systems
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
A New Semantics of Social Commitments Using Branching Space-Time Logic
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Elements of a business-level architecture for multiagent systems
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
A computational semantics for communicating rational agents based on mental models
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Trust as dependence: a logical approach
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Social commitment delegation and monitoring
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Correctness properties for multiagent systems
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
The evolution of interoperability
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
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
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
| Hi-index | 0.00 |
Commitments have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interoperation is approached from the standpoint of data exchange or of messaging. We use commitments to characterize interoperability in high-level terms: at the level of the communications among agents. Specifically, two agents are interoperable if their commitments align. Drawing upon Kant's famous distinction, we distinguish between two kinds of interoperability, constitutive and regulative. Constitutive interoperability takes into account solely the meaning of messages whereas regulative interoperability also takes into consideration message order, occurrence, and data flow. We present a language for specifying agents constitutively and a decision procedure for determining their interoperability.