- Rebooting AI: Building Artificial Intelligence We Can Trust
- Linear Algebra and Probability for Computer Science Applications
- Representations of Commonsense Knowledge (Morgan Kaufmann Series in Representation and Reasoning)
- Representing and Acquiring Geographic Knowledge
- An ontology of physical action