The following pages link to (Q4839154):
Displaying 13 items.
- Bounded situation calculus action theories (Q286407) (← links)
- John McCarthy's legacy (Q543573) (← links)
- A unifying action calculus (Q543584) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- Elaboration tolerance through object-orientation (Q814560) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
