Knowing how to plan
From MaRDI portal
Recommendations
Cites work
- A logic of goal-directed knowing how
- A new modal framework for epistemic logic
- Alternating-time logic with imperfect recall
- Beyond knowing that: a new generation of epistemic logics
- Bundled fragments of first-order modal logic: (un)decidability
- Constructive knowledge: what agents can achieve under imperfect information
- DEL-based epistemic planning: decidability and complexity
- Dynamic epistemic logic games with epistemic temporal goals
- Epistemic planning for single- and multi-agent systems
- Game description language and dynamic epistemic logic compared
- scientific article; zbMATH DE number 2201583 (Why is no real title available?)
- Knowledge-based programs as plans. The complexity of plan verification
- Knowledge-based programs as succinct policies for partially observable domains
- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
- Planning-based knowing how: a unified approach
- Together we know how to achieve: an epistemic logic of know-how
- Weak, strong, and strong cyclic planning via symbolic model checking
Cited in
(5)- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
- Tableau-based decision procedure for logic of knowing-how via simple plans
- Tableaux for the Logic of Strategically Knowing How
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Uncertainty-based knowing how logic
This page was built for publication: Knowing how to plan
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642577)
