Ernest Davis

Professor of Computer Science

1981 …2019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Ernest Davis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Artificial intelligence Engineering & Materials Science
Qualitative Spatial Reasoning Mathematics
Planning Engineering & Materials Science
Differential equations Engineering & Materials Science
Ontology Mathematics
First-order Mathematics
Euclidean space Mathematics
Containers Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1981 2019

Proof Verification Technology and Elementary Physics

Davis, E., Jan 1 2019, Fields Institute Communications. Springer New York LLC, p. 81-132 52 p. (Fields Institute Communications; vol. 82).

Research output: Chapter in Book/Report/Conference proceedingChapter

Correctness
Physics
Software
Theorem

Causal generative models are just a start

Davis, E. & Marcus, G., Jan 1 2017, In : The Behavioral and brain sciences. 40, p. e262

Research output: Contribution to journalComment/debate

Physics
Psychology

Commonsense reasoning about containers using radically incomplete information

Davis, E., Marcus, G. & Frazier-Logue, N., Jul 1 2017, In : Artificial Intelligence. 248, p. 46-84 39 p.

Research output: Contribution to journalArticle

Containers
interaction
mathematics
Geometry
history

Logical formalizations of commonsense reasoning: A survey

Davis, E., May 1 2017, In : Journal of Artificial Intelligence Research. 59, p. 651-723 73 p.

Research output: Contribution to journalReview article

Open Access
Artificial intelligence

Lousy advice to the lovelorn

Davis, E., Dec 1 2017, In : Communications of the ACM. 60, 12, p. 33-35 3 p.

Research output: Contribution to journalReview article