The following pages link to (Q2766985):
Displaying 7 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Iterated belief change in the situation calculus (Q543588) (← links)
- Belief extrapolation (or how to reason about observations and unpredicted change) (Q543623) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)