The following pages link to Challenges for action theories (Q1977406):
Displaying 5 items.
- A description logic based situation calculus (Q604908) (← links)
- Reasoning about action. II: The qualification problem (Q1103420) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- An event calculus production rule system for reasoning in dynamic and uncertain domains (Q4593031) (← links)
- On Action Theory Change (Q5190270) (← links)