Ernest Davis: Books
Representing and Acquiring Geographic Knowledge,
Morgan Kaufmann, 1986.
Representations of Commonsense Knowledge,
Morgan Kaufmann, 1990.
Linear Algebra and Probability for Computer Science Applications,
CRC Press. May 2012.
Course materials web site
The Logic of Coal, Iron, Air, and Water: Representing Common Sense and Elementary Science.