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


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


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


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