The following pages link to (Q3493250):
Displayed 5 items.
- Let's plan it deductively! (Q1274761) (← links)
- A circumscriptive calculus of events (Q1855238) (← links)
- Pouring liquids: a study in commonsense physical reasoning (Q2389667) (← links)
- Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
- Representation and reasoning about evolutions of the world in the context of reasoning about actions (Q2574879) (← links)