The following pages link to (Q5283042):
Displaying 4 items.
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307) (← links)
- Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
- A Syntax-based Approach to Reasoning about Action and Belief Update (Q3430947) (← links)
- Filtered belief revision: syntax and semantics (Q6097775) (← links)