Books by Ernest Davis
Total count: 18
An ontology of physical action.Courant Institute of Mathematical Sciences, New York University1984-01-01
Shape and function of solid objects: some examples.Courant Institute of Mathematical Sciences, New York University1984-01-01
A high level real-time programming language.Courant Institute of Mathematical Sciences, New York University1984-01-01
Constraint propagation on real-valued quantities.Courant Institute of Mathematical Sciences, New York University1985-01-01
Representing and acquiring geographic knowledgePitman1986-01-01
A logical framework for solid object physics.Courant Institute of Mathematical Sciences, New York University1986-01-01
Order of magnitude reasoning in qualitative differential equations.Courant Institute of Mathematical Sciences, New York University1987-01-01
Inferring ignorance from the locality of visual perception.Courant Institute of Mathematical Sciences, New York University1987-01-01
Representations of commonsense knowledgeMorgan Kaufmann Publishers1990-01-01
The kinematics of cutting solid objects.Courant Institute of Mathematical Sciences, New York University1991-01-01
Axiomatizing qualitative process theory.Courant Institute of Mathematical Sciences, New York University1991-01-01
Lucid representations.Courant Institute of Mathematical Sciences, New York University1991-01-01
Infinite loops in finite time: some observations.Courant Institute of Mathematical Sciences, New York University1992-01-01
Mathematics, Substance and SurmiseViews on the Meaning and Ontology of MathematicsSpringer2015-01-01
Rebooting AIBuilding Artificial Intelligence We Can TrustPantheon2019-09-10