PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS
From MaRDI portal
Publication:3224882
DOI10.1111/j.1467-8640.2011.00387.xzbMath1235.68241OpenAlexW1971280139MaRDI QIDQ3224882
Publication date: 2 April 2012
Published in: Computational Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1467-8640.2011.00387.x
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
- Propositional dynamic logic of nonregular programs
- A calculus of communicating systems
- Fundamental concepts in programming languages
- Some Techniques for Recursion Removal from Recursive Functions
- Dynamic Logic for Plan Revision in Agent Programming
- Notes on recursion elimination
- Systematic recursion removal
- GOLOG: A logic programming language for dynamic domains