Knowing how to plan about planning: higher-order and meta-level epistemic planning
From MaRDI portal
(Redirected from Publication:6665710)
Recommendations
Cites work
- A dynamic epistemic framework for reasoning about conformant probabilistic plans
- A general multi-agent epistemic planner based on higher-order belief change
- A logic of goal-directed knowing how
- A Logic of Knowing How
- A new modal framework for epistemic logic
- Ability and knowing how in the situation calculus
- Alternating-time logic with imperfect recall
- Analyzing generalized planning under nondeterminism
- Beyond knowing that: a new generation of epistemic logics
- Bundled fragments of first-order modal logic: (un)decidability
- Complete Axiomatizations for Reasoning about Knowledge and Time
- 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
- Epistemic planning: perspectives on the special issue
- Game description language and dynamic epistemic logic compared
- scientific article; zbMATH DE number 2201583 (Why is no real title available?)
- Instantial neighbourhood logic
- Knowing how to plan
- Knowing-how under uncertainty
- Knowledge Preconditions for Plans
- Knowledge-based programs as plans. The complexity of plan verification
- Knowledge-based programs as succinct policies for partially observable domains
- Model checking propositional dynamic logic with all extras
- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
- One hundred prisoners and a light bulb. Illustrations by Elancheziyan
- Planning for temporally extended goals.
- Planning-based knowing how: a unified approach
- Tableaux for single-agent epistemic PDL with perfect recall and no miracles
- The complexity of reasoning about knowledge and time. I: Lower bounds
- The logic of gossiping
- The Russian cards problem
- Together we know how to achieve: an epistemic logic of know-how
- Together we know how to achieve: an epistemic logic of know-how (extended abstract)
- Weak, strong, and strong cyclic planning via symbolic model checking
- What robots can do: robot programs and effective achievability
This page was built for publication: Knowing how to plan about planning: higher-order and meta-level epistemic planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6665710)
