Pages that link to "Item:Q702111"
From MaRDI portal
The following pages link to Reasoning about commitments in the event calculus: An approach for specifying and executing protocols (Q702111):
Displaying 8 items.
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Where logic and agents meet (Q657584) (← links)
- Living up to one's commitments: Agency, strategies and trust (Q931781) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS (Q2999237) (← links)
- PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS (Q3224882) (← links)
- Strategic Agent Communication: An Argumentation-Driven Approach (Q3601795) (← links)
- (Q4993609) (← links)