Pages that link to "Item:Q3224882"
From MaRDI portal
The following pages link to PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS (Q3224882):
Displaying 5 items.
- Reasoning about commitments in the event calculus: An approach for specifying and executing protocols (Q702111) (← links)
- A sequent calculus for propositional dynamic logic for agents with interactions (Q852274) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- Propositional statecharts for agent interaction protocols (Q2848468) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897332) (← links)