Ernest Davis

Professor of Computer Science

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

Fingerprint Weighted list of dominant concepts in the person's research.

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

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

The first Winograd schema challenge at IJCAI-16

Davis, E., Morgenstern, L. & Ortiz, C. L., Sep 1 2017, In : AI Magazine. 38, 3, p. 97-98 2 p.

Research output: Contribution to journalArticle

Artificial intelligence
Communication