No photo of Ernest Davis

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 researcher's publications (titles and abstracts).

    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