Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
From MaRDI portal
(Redirected from 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)- 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
- scientific article; zbMATH DE number 1629863 (Why is no real title available?)
- 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
- 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)
