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