Commitment machines

DOI10.1007/3-540-45448-9_17MaRDI QIDQ4739298zbMATH OpenFDO

Authors Pınar Yolum, Munindar P. Singh

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2333/23330235.htm

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• Behavior-oriented commitment-based protocols
• \textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
• Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
• On the SMT-based verification of communicative commitments

Cited in

(10)

• A verification method for a commitment strategy of the BDI architecture
• Views on behaviour protocols and their semantic foundation
• \textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
• Behavior-oriented commitment-based protocols
• Implementing flexible and robust agent interactions using Distributed Commitment Machines
• An abstract machine for classes of communicating agents based on deduction
• Interaction protocols
• Maintenance commitments: conception, semantics, and coherence
• Risk-aware analysis for interpretations of probabilistic achievement and maintenance commitments
• Reasoning about commitments in the event calculus: An approach for specifying and executing protocols

This page was built for publication: Commitment machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4739298)