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