Knowing how to plan about planning: higher-order and meta-level epistemic planning

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Weak, strong, and strong cyclic planning via symbolic model checking
The complexity of reasoning about knowledge and time. I: Lower bounds
What robots can do: robot programs and effective achievability
Planning for temporally extended goals.
The Russian cards problem
Together we know how to achieve: an epistemic logic of know-how
Ability and knowing how in the situation calculus
Knowledge-based programs as succinct policies for partially observable domains
A general multi-agent epistemic planner based on higher-order belief change
Analyzing generalized planning under nondeterminism
The logic of gossiping
DEL-based epistemic planning: decidability and complexity
A logic of goal-directed knowing how
Planning-based knowing how: a unified approach
Game description language and dynamic epistemic logic compared
Knowing-how under uncertainty
Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
A dynamic epistemic framework for reasoning about conformant probabilistic plans
Model checking propositional dynamic logic with all extras
Epistemic planning for single- and multi-agent systems
Beyond Knowing That: A New Generation of Epistemic Logics
Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles
A Logic of Knowing How
Constructive knowledge: what agents can achieve under imperfect information
Knowledge Preconditions for Plans
Complete Axiomatizations for Reasoning about Knowledge and Time
One Hundred Prisoners and a Light Bulb
INSTANTIAL NEIGHBOURHOOD LOGIC
Epistemic planning: perspectives on the special issue
Knowing how to plan

This page was built for publication: Knowing how to plan about planning: higher-order and meta-level epistemic planning