Books by Ernest Davis
I Am Aye Child of God
I Am Aye Child of God
Rebooting AI
Linear algebra and probability
Linear algebra and probability for computer science applications
Logical Formalizations of Comm
Logical Formalizations of Commonsense Reasoning
Infinite loops in finite time: some observations
Axiomatizing qualitative process theory
Lucid representations
The kinematics of cutting solid objects
Physical idealization as plausible inference
Representations of commonsense knowledge
Inferring ignorance from the locality of visual perception
Order of magnitude reasoning in qualitative differential equations
A logical framework for solid object physics
Representing and acquiring geographic knowledge
Constraint propagation on real-valued quantities
A high level real-time programming language
An ontology of physical action
Shape and function of solid objects: some examples