Petri nets: an introduction
Credits and debits on the Internet
Readings in agents
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
Representing and executing protocols as joint actions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Synthesizing Finite State Machines for Communication Protocols
Synthesizing Finite State Machines for Communication Protocols
Annals of Mathematics and Artificial Intelligence
Partial deduction for linear logic—the symbolic negotiation perspective
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Reasoning about agents' interaction protocols inside DCaseLP
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Specifying and resolving preferences among agent interaction patterns
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Designing Commitment-Based Agent Interactions
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Enacting protocols by commitment concession
Proceedings of the 6th 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
Introducing Preferences into Commitment Protocols
Agent Communication II
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario
Agent Communication II
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
A modular action description language for protocol composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Formalizing communication protocols for multiagent systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
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
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
Running contracts with defeasible commitment
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
The semantics of MALLET–An agent teamwork encoding language
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Agreeing on defeasible commitments
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Artificial Intelligence
Detecting conflicts in commitments
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
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Engineering commitment-based business protocols with the 2CL methodology
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
Agent interaction protocols are usually specified in terms of permissible sequences of messages. This representation is, unfortunately, brittle and does not allow for flexibility and robustness. The commitment machines framework of Yolum and Singh aims to provide more flexibility and robustness by defining interactions in terms of the commitments of agents. In this paper we identify a number of areas where the commitment machines framework needs improvement and propose an improved version. In particular we improve the way in which commitments are discharged and the way in which pre-conditions are specified.