Ernest Davis
Books
- Rebooting AI
- Rebooting AI
- Constraint propagation on real-valued quantities
- A logical framework for solid object physics
- Shape and function of solid objects: some examples
- I Am Aye Child of God
- 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
- Inferring ignorance from the locality of visual perception
- Physical idealization as plausible inference
- Lucid representations
- Mathematics, Substance and Surmise
- Axiomatizing qualitative process theory
- The kinematics of cutting solid objects
- Representing and acquiring geographic knowledge
- Infinite loops in finite time: some observations
- Representations of commonsense knowledge
- An ontology of physical action
Author data: Open Library