Ernest Davis

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 32

Top Topics

Artificial Intelligence

Cognitive Models

Commonsense Reasoning

Top Venues

Publications

Ernest Davis
Benchmarks for Automated Commonsense Reasoning: A Survey. ACM Comput. Surv. 56 (4) (2024)
Vid Kocijan, Ernest Davis, Thomas Lukasiewicz, Gary Marcus, Leora Morgenstern
The Defeat of the Winograd Schema Challenge (Abstract Reprint). AAAI (2024)
Vid Kocijan, Ernest Davis, Thomas Lukasiewicz, Gary Marcus, Leora Morgenstern
The defeat of the Winograd Schema Challenge. Artif. Intell. 325 (2023)
Ernest Davis
Mathematics, word problems, common sense, and artificial intelligence. CoRR (2023)
Ernest Davis, Scott Aaronson
Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems. CoRR (2023)
Ernest Davis
Benchmarks for Automated Commonsense Reasoning: A Survey. CoRR (2023)
Gary Marcus, Ernest Davis, Scott Aaronson
A very preliminary analysis of DALL-E 2. CoRR (2022)
Vid Kocijan, Ernest Davis, Thomas Lukasiewicz, Gary Marcus, Leora Morgenstern
The Defeat of the Winograd Schema Challenge. CoRR (2022)
Ernest Davis
Pragmatic constraints and pronoun reference disambiguation: the possible and the impossible. CoRR (2022)
Zhuoran Zeng, Ernest Davis
Physical Reasoning in an Open World. CoRR (2022)
Ernest Davis
Limits of an AI program for solving college math problems. CoRR (2022)
Kenneth Church, Valia Kordoni, Gary Marcus, Ernest Davis, Yanjun Ma, Zeyu Chen
A Gentle Introduction to Deep Nets and Opportunities for the Future. ACL (tutorial) (2022)
Ernest Davis
A Flawed Dataset for Symbolic Equation Verification. CoRR (2021)
Gary Marcus, Ernest Davis
Insights for AI from the human mind. Commun. ACM 64 (1) (2021)
Ernest Davis
Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021). CoRR (2021)
Ernest Davis
Unanswerable Questions about Images and Texts. CoRR (2021)
Ethan Ludwin-Peery, Neil Bramley, Ernest Davis, Todd M. Gureckis
A Generalization Test of Conjunction Errors in Physical Reasoning. CogSci (2020)
Vid Kocijan, Thomas Lukasiewicz, Ernest Davis, Gary Marcus, Leora Morgenstern
A Review of Winograd Schema Challenge Datasets and Approaches. CoRR (2020)
Ernest Davis
The test set for the TransCoder system. CoRR (2020)
Ernest Davis
Unanswerable Questions About Images and Texts. Frontiers Artif. Intell. 3 (2020)
Ernest Davis
The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019). CoRR (2019)
Ethan Ludwin-Peery, Neil Bramley, Ernest Davis, Todd M. Gureckis
Limits on the Use of Simulation in Physical Reasoning. CogSci (2019)
Ernest Davis
Logical Formalizations of Commonsense Reasoning: A Survey. J. Artif. Intell. Res. 59 (2017)
Ernest Davis, Leora Morgenstern, Charles L. Ortiz Jr.
The First Winograd Schema Challenge at IJCAI-16. AI Mag. 38 (3) (2017)
Ernest Davis
Lousy advice to the lovelorn. Commun. ACM 60 (12) (2017)
Ernest Davis, Gary Marcus, Noah Frazier-Logue
Commonsense reasoning about containers using radically incomplete information. Artif. Intell. 248 (2017)
Ernest Davis
Algorithms and everyday life. Artif. Intell. 239 (2016)
Ernest Davis
Winograd Schemas and Machine Translation. CoRR (2016)
Leora Morgenstern, Ernest Davis, Charles L. Ortiz Jr.
Planning, Executing, and Evaluating the Winograd Schema Challenge. AI Mag. 37 (1) (2016)
Ernest Davis, Gary Marcus
The scope and limits of simulation in automated reasoning. Artif. Intell. 233 (2016)
Ernest Davis
AI amusements: the tragic tale of Tay the chatbot. AI Matters 2 (4) (2016)
Ernest Davis
How to Write Science Questions that Are Easy for People and Hard for Computers. AI Mag. 37 (1) (2016)
Ernest Davis, Gary Marcus
The Scope and Limits of Simulation in Cognitive Models. CoRR (2015)
Ernest Davis, Gary Marcus
Commonsense reasoning and commonsense knowledge in artificial intelligence. Commun. ACM 58 (9) (2015)
Ernest Davis
Does the world look different in different languages? Artif. Intell. 229 (2015)
Ernest Davis
Ethical guidelines for a superintelligence. Artif. Intell. 220 (2015)
Azam Asl, Ernest Davis
A Qualitative Calculus for Three-Dimensional Rotations. Spatial Cogn. Comput. 14 (1) (2014)
Ernest Davis
The Limitations of Standardized Science Tests as Benchmarks for Artificial Intelligence Research: Position Paper. CoRR (2014)
Ernest Davis
The Singularity and the State of the Art in Artificial Intelligence: The technological singularity (Ubiquity symposium). Ubiquity 2014 (October) (2014)
Ernest Davis
Qualitative Spatial Reasoning in Interpreting Text and Narrative. Spatial Cogn. Comput. 13 (4) (2013)
Ernest Davis
The expressive power of first-order topological languages. J. Log. Comput. 23 (5) (2013)
Ernest Davis
Elementarily equivalent structures for topological languages over regions in Euclidean space. J. Log. Comput. 23 (3) (2013)
Ernest Davis
Space, Language, and Ontology: A Response to Bateman. Spatial Cogn. Comput. 13 (4) (2013)
Ernest Davis
The Relevance of Proofs of the Rationality of Probability Theory to Automated Reasoning and Cognitive Models. CoRR (2013)
Hector J. Levesque, Ernest Davis, Leora Morgenstern
The Winograd Schema Challenge. KR (2012)
Ernest Davis
Preserving geometric properties in reconstructing regions from internal and nearby points. Comput. Geom. 45 (5-6) (2012)
Mark Buller, Paul Cuddihy, Ernest Davis, Patrick Doherty, Finale Doshi-Velez, Esra Erdem, Douglas H. Fisher, Nancy L. Green, Knut Hinkelmann, Mary Lou Maher, James McLurkin, Rajiv T. Maheswaran, Sara Rubinelli, Nathan Schurr, Donia Scott, Dylan A. Shell, Pedro A. Szekely, Barbara Thönssen, Arnold B. Urken
Reports of the AAAI 2011 Spring Symposia. AI Mag. 32 (3) (2011)
Ernest Davis
How does a box work? A study in the qualitative dynamics of solid objects. Artif. Intell. 175 (1) (2011)
Ernest Davis, Patrick Doherty, Esra Erdem
Organizing Committee. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Ernest Davis
Ontologies and Representations of Matter. AAAI (2010)
Ernest Davis
Pouring liquids: A study in commonsense physical reasoning. Artif. Intell. 172 (12-13) (2008)
Ernest Davis
The Expressivity of Quantifying over Regions. J. Log. Comput. 16 (6) (2006)
Ernest Davis, Leora Morgenstern
A First-order Theory of Communication and Multi-agent Plans. J. Log. Comput. 15 (5) (2005)
Ernest Davis
Knowledge and communication: A first-order theory. Artif. Intell. 166 (1-2) (2005)
Ernest Davis
Book review of Where mathematics comes from: how the embodied mind brings mathematics into Being edited by G. Lakoff and R. Nuñez, Basic Books, 2000, pp. 493. J. Exp. Theor. Artif. Intell. 17 (3) (2005)
Ji-Ae Shin, Ernest Davis
Processes and continuous change in a SAT-based planner. Artif. Intell. 166 (1-2) (2005)
Ernest Davis
A First-Order Theory of Communicating First-Order Formulas. KR (2004)
Ji-Ae Shin, Ernest Davis
Continuous Time in a SAT-Based Planner. AAAI (2004)
Ernest Davis, Leora Morgenstern
Introduction: Progress in formal commonsense reasoning. Artif. Intell. 153 (1-2) (2004)
Ernest Davis
Two machine learning textbooks: An instructor's perspective. Artif. Intell. 131 (1-2) (2001)
Ernest Davis
Continuous Shape Transformation and Metrics on Regions. Fundam. Informaticae 46 (1-2) (2001)
Ernest Davis, Nicholas Mark Gotts, Anthony G. Cohn
Constraint Networks of Topological Relations and Convexity. Constraints An Int. J. 4 (3) (1999)
Ernest Davis
Order of Magnitude Comparisons of Distance. J. Artif. Intell. Res. 10 (1999)
Ernest Davis
Naive Physics Perplex. AI Mag. 19 (4) (1998)
Ernest Davis
Focus: Qualitative Simulation and Prediction. IEEE Expert 12 (3) (1997)
Ernest Davis
Gödel, Escher, Bach redux. IEEE Expert 11 (3) (1996)
Ernest Davis
Book Review: Mathematical perspectives on plausible inference. IEEE Expert 10 (5) (1995)
Ernest Davis
Knowledge Preconditions for Plans. J. Log. Comput. 4 (5) (1994)
Ernest Davis
Branching Continuous Time and the Semantics of Continuous Action. AIPS (1994)
Ernest Davis
The Kinematics of Cutting Solid Objects. Ann. Math. Artif. Intell. 9 (3-4) (1993)
Ernest Davis
Representations of Commonsense Knowledge: Response to the Reviews. Artif. Intell. 61 (1) (1993)
Ernest Davis
Infinite Loops in Finite Time: Some Observations. KR (1992)
Ernest Davis
Axiomatizing Qualitative Process Theory. KR (1992)
Ernest Davis
Solutions to a Paradox of Perception with Limited Acuity. KR (1989)
Ernest Davis
Inferring Ignorance from the Locality of Visual Perception. AAAI (1988)
Ernest Davis
A logical framework for commonsense predictions of solid object behaviour. Artif. Intell. Eng. 3 (3) (1988)
Ernest Davis
Constraint Propagation with Interval Labels. Artif. Intell. 32 (3) (1987)
Ernest Davis, Ralph Grishman
Artificial Intelligence Research in Progress at the Courant Institute, New York University. AI Mag. 7 (5) (1986)
Sanjaya Addanki, Ernest Davis
A Representation for Complex Physical Domains. IJCAI (1985)
Drew V. McDermott, Ernest Davis
Planning Routes Through Uncertain Territory. Artif. Intell. 22 (2) (1984)
Ernest Davis
The Mercator Representation of Spatial Knowledge. IJCAI (1983)
Roger C. Schank, Gregg C. Collins, Ernest Davis, Peter N. Johnson, Steve Lytinen, Brian J. Reiser
What's the Point? Cogn. Sci. 6 (3) (1982)
Ernest Davis, Jeffrey M. Jaffe
Algorithms for Scheduling Tasks on Unrelated Processors. J. ACM 28 (4) (1981)