- Rebooting AI: Building Artificial Intelligence We Can Trust
- A Logical Framework for Solid Object Physics
- Shape and Function of Solid Objects: Some Examples
- Infinite Loops in Finite Time: Some Observations
- Representations of Commonsense Knowledge (Morgan Kaufmann Series in Representation and Reasoning)















