The following pages link to (Q4530473):
Displaying 5 items.
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS (Q3427872) (← links)
- KI 2003: Advances in Artificial Intelligence (Q5897302) (← links)