Ernest Davis

A high level real-time programming language

Year unknown

A logical framework for solid object physics

Year unknown

An ontology of physical action

Year unknown

Axiomatizing qualitative process theory

Year unknown

Constraint propagation on real-valued quantities

Year unknown

I Am Aye Child of God

I Am Aye Child of God

Year unknown

Inferring ignorance from the locality of visual perception

Year unknown

Infinite loops in finite time: some observations

Year unknown

Linear algebra and probability fo...

Linear algebra and probability for computer science applications

Year unknown

Logical Formalizations of Commons...

Logical Formalizations of Commonsense Reasoning

Year unknown Ernest Davis, Patrick Doherty, and Esra Erdem

Lucid representations

Year unknown

Mathematics, Substance and Surmise

Year unknown Ernest Davis and Philip J. Davis

Order of magnitude reasoning in qualitative differential equations

Year unknown

Physical idealization as plausible inference

Year unknown

Rebooting AI

Rebooting AI

Year unknown Gary Marcus and Ernest Davis

Rebooting AI

Year unknown Gary Marcus and Ernest Davis

Representations of commonsense knowledge

Year unknown

Representing and acquiring geographic knowledge

Year unknown

Shape and function of solid objects: some examples

Year unknown

The kinematics of cutting solid objects

Year unknown