The following pages link to Conditional Epistemic Planning (Q2915062):
Displaying 13 items.
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Revocable belief revision (Q2016055) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- Multi-agent conformant planning with distributed knowledge (Q2148824) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577) (← links)
- Learning Actions Models: Qualitative Approach (Q3457685) (← links)
- (Q5015399) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Dynamic epistemic logics for abstract argumentation (Q6147179) (← links)
