How does a box work? A study in the qualitative dynamics of solid objects

DOI10.1016/j.artint.2010.04.006zbMath1216.68259OpenAlexW2133767286MaRDI QIDQ543601

Ernest Davis

Publication date: 17 June 2011

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.006

zbMATH Keywords

kinematicsdynamicsplanningcommonsense reasoningnaive physicsqualitative physicssolid objects

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Robot dynamics and control of rigid bodies (70E60) Artificial intelligence for robotics (68T40)

Related Items (6)

Pouring liquids: a study in commonsense physical reasoning ⋮ Commonsense reasoning about containers using radically incomplete information ⋮ Non-monotonic spatial reasoning with answer set programming modulo theories ⋮ Proof Verification Technology and Elementary Physics ⋮ John McCarthy's legacy ⋮ The scope and limits of simulation in automated reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Planning for conjunctive goals
• Nonmonotonic logic and temporal projection
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Qualitative rigid-body mechanics
• A First-order Theory of Communication and Multi-agent Plans
• The Expressivity of Quantifying over Regions
• Existence of solutions to rigid body dynamics and the Painlevé paradoxes
• Rigid-Body Dynamics with Friction and Impact
• Planning Algorithms

This page was built for publication: How does a box work? A study in the qualitative dynamics of solid objects