The following pages link to (Q4934644):
Displayed 7 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Experiences with an interactive museum tour-guide robot (Q1978435) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Making Golog Norm Compliant (Q3092308) (← links)