The following pages link to (Q4941936):
Displaying 6 items.
- Multi-agent systems specification and certification: a situation and state calculus approach (Q596479) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- Occurrences and narratives as constraints in the branching structure of the situation calculus (Q4228074) (← links)