Handbook of theoretical computer science (vol. B)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Designing and executing protocols using the event calculus
Proceedings of the fifth international conference on Autonomous agents
Introduction to Multiagent Systems
Introduction to Multiagent Systems
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Distributed enactment of multiagent workflows: temporal logic for web service composition
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
NetBill security and transaction protocol
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Model-checking agent refinement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
7th International Conference on Autonomous Agents and Multi Agent Systems
Introducing Preferences into Commitment Protocols
Agent Communication II
A theory of contracts for strong service compliance
Mathematical Structures in Computer Science
8th International Conference on Autonomous Agents and Multi Agent Systems
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Multiagent commitment alignment
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Commitment alignment: semantics, patterns, and decision procedures for distributed computing
Commitment alignment: semantics, patterns, and decision procedures for distributed computing
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Formalizing commitments using action languages
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
On temporal regulations and commitment protocols
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
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
Hi-index | 0.00 |
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that is well-known and widely accepted by the research community. Normally these protocols consist of sets of actions with a shared meaning. From the point of view of an agent, however, the meaning of an action is completed by the context in which it is used: the context shapes the behavior of the agent in that the agent decides which actions to take depending on it. Indeed, since the seminal work of Searle (supported by other authors), two components of interaction protocols have been identified, constitutive rules and regulative rules, which altogether define the meaning of the interaction. Commitment-based protocols usually do not account for the latter. In this work we introduce a representation that explicitly includes regulative rules as constraints on commitments and, in the light of the work by Singh and Chopra [38], report the first steps in the analysis of the advantages brought by such introduction.