The following pages link to Knowledge Preconditions for Plans (Q4316301):
Displaying 10 items.
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- Ability and knowing how in the situation calculus (Q1840653) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- A theoretical framework on proactive information exchange in agent teamwork (Q2457648) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Action Under Uncertainty (Q4316302) (← links)
- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications (Q4408523) (← links)
- Two Logical Theories of Plan Recognition (Q4542939) (← links)
- Mechanizing Mathematical Reasoning (Q5717460) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)