Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
From MaRDI portal
Publication:702111
DOI10.1023/B:AMAI.0000034528.55456.D9zbMATH Open1059.68133WikidataQ59764623 ScholiaQ59764623MaRDI QIDQ702111FDOQ702111
Authors: Pınar Yolum, Munindar P. Singh 
Publication date: 17 January 2005
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 2088161
- Behavior-oriented commitment-based protocols
- Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
- \textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
Cited In (14)
- Implementing flexible and robust agent interactions using Distributed Commitment Machines
- On the purpose of Event-B proof obligations
- Living up to one's commitments: Agency, strategies and trust
- Representation and monitoring of commitments and norms using OWL
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- Title not available (Why is that?)
- Behavior-oriented commitment-based protocols
- Normative reasoning and consequence
- An executable specification of a formal argumentation protocol
- Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
- Social commitments in time: satisfied or compensated
- Where logic and agents meet
- Strategic Agent Communication: An Argumentation-Driven Approach
- Title not available (Why is that?)
This page was built for publication: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q702111)
