Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
From MaRDI portal
Publication:702111
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)- Normative reasoning and consequence
- Representation and monitoring of commitments and norms using OWL
- Strategic Agent Communication: An Argumentation-Driven Approach
- An executable specification of a formal argumentation protocol
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- Where logic and agents meet
- Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
- On the purpose of Event-B proof obligations
- Social commitments in time: satisfied or compensated
- Implementing flexible and robust agent interactions using Distributed Commitment Machines
- Living up to one's commitments: Agency, strategies and trust
- Behavior-oriented commitment-based protocols
- scientific article; zbMATH DE number 1629863 (Why is no real title available?)
- scientific article; zbMATH DE number 2088161 (Why is no real title available?)
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)
