The following pages link to (Q4736477):
Displaying 5 items.
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307) (← links)
- (Q3493322) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
