The following pages link to (Q4252264):
Displaying 6 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Reasoning about noisy sensors and effectors in the situation calculus (Q1606305) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming (Q2887086) (← links)
- Intelligent agents in the Situation Calculus: An application to user modelling (Q4632293) (← links)
- On decision-theoretic foundations for defaults (Q5958391) (← links)