Pages that link to "Item:Q2238589"
From MaRDI portal
The following pages link to Planning-based knowing how: a unified approach (Q2238589):
Displaying 8 items.
- Inquisitive logic as an epistemic logic of knowing how (Q2172829) (← links)
- Tableau-based decision procedure for logic of knowing-how via simple plans (Q2695519) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
- Tableaux for the Logic of Strategically Knowing How (Q6118724) (← links)
- Neighborhood semantics for logic of knowing how (Q6147178) (← links)
- How easy it is to know how: an upper bound for the satisfiability problem (Q6545554) (← links)
- Knowing how to plan (Q6642577) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)
