Pages that link to "Item:Q3430950"
From MaRDI portal
The following pages link to Dynamic Logic for Plan Revision in Agent Programming (Q3430950):
Displaying 6 items.
- Reasoning about plan revision in BDI agent programs (Q655407) (← links)
- Semantics of plan revision in intelligent agents (Q820137) (← links)
- PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS (Q3224882) (← links)
- Algebraic Methodology and Software Technology (Q5312998) (← links)
- Computational Logic in Multi-Agent Systems (Q5464689) (← links)
- Computational Logic in Multi-Agent Systems (Q5706845) (← links)