Pages that link to "Item:Q543601"
From MaRDI portal
The following pages link to How does a box work? A study in the qualitative dynamics of solid objects (Q543601):
Displaying 6 items.
- The scope and limits of simulation in automated reasoning (Q253998) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Pouring liquids: a study in commonsense physical reasoning (Q2389667) (← links)
- Commonsense reasoning about containers using radically incomplete information (Q2407460) (← links)
- Proof Verification Technology and Elementary Physics (Q3296311) (← links)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)