Ernest Davis

According to our database1, Ernest Davis authored at least 77 papers between 1981 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




A very preliminary analysis of DALL-E 2.
CoRR, 2022

Pragmatic constraints and pronoun reference disambiguation: the possible and the impossible.
CoRR, 2022

Physical Reasoning in an Open World.
CoRR, 2022

The Defeat of the Winograd Schema Challenge.
CoRR, 2022

A Gentle Introduction to Deep Nets and Opportunities for the Future.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022

Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021).
CoRR, 2021

A Flawed Dataset for Symbolic Equation Verification.
CoRR, 2021

Insights for AI from the human mind.
Commun. ACM, 2021

Unanswerable Questions About Images and Texts.
Frontiers Artif. Intell., 2020

The test set for the TransCoder system.
CoRR, 2020

A Review of Winograd Schema Challenge Datasets and Approaches.
CoRR, 2020

A Generalization Test of Conjunction Errors in Physical Reasoning.
Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019).
CoRR, 2019

Limits on the Use of Simulation in Physical Reasoning.
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

Logical Formalizations of Commonsense Reasoning: A Survey.
J. Artif. Intell. Res., 2017

Lousy advice to the lovelorn.
Commun. ACM, 2017

The First Winograd Schema Challenge at IJCAI-16.
AI Mag., 2017

Commonsense reasoning about containers using radically incomplete information.
Artif. Intell., 2017

Winograd Schemas and Machine Translation.
CoRR, 2016

AI amusements: the tragic tale of Tay the chatbot.
AI Matters, 2016

Planning, Executing, and Evaluating the Winograd Schema Challenge.
AI Mag., 2016

How to Write Science Questions that Are Easy for People and Hard for Computers.
AI Mag., 2016

The scope and limits of simulation in automated reasoning.
Artif. Intell., 2016

Algorithms and everyday life.
Artif. Intell., 2016

The Scope and Limits of Simulation in Cognitive Models.
CoRR, 2015

Commonsense reasoning and commonsense knowledge in artificial intelligence.
Commun. ACM, 2015

Does the world look different in different languages?
Artif. Intell., 2015

Ethical guidelines for a superintelligence.
Artif. Intell., 2015

The Singularity and the State of the Art in Artificial Intelligence: The technological singularity (Ubiquity symposium).
Ubiquity, 2014

A Qualitative Calculus for Three-Dimensional Rotations.
Spatial Cogn. Comput., 2014

The Limitations of Standardized Science Tests as Benchmarks for Artificial Intelligence Research: Position Paper.
CoRR, 2014

Space, Language, and Ontology: A Response to Bateman.
Spatial Cogn. Comput., 2013

Qualitative Spatial Reasoning in Interpreting Text and Narrative.
Spatial Cogn. Comput., 2013

The expressive power of first-order topological languages.
J. Log. Comput., 2013

Elementarily equivalent structures for topological languages over regions in Euclidean space.
J. Log. Comput., 2013

The Relevance of Proofs of the Rationality of Probability Theory to Automated Reasoning and Cognitive Models.
CoRR, 2013

Preserving geometric properties in reconstructing regions from internal and nearby points.
Comput. Geom., 2012

The Winograd Schema Challenge.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Reports of the AAAI 2011 Spring Symposia.
AI Mag., 2011

How does a box work? A study in the qualitative dynamics of solid objects.
Artif. Intell., 2011

Organizing Committee.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

Ontologies and Representations of Matter.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

Physical Reasoning.
Proceedings of the Handbook of Knowledge Representation, 2008

Pouring liquids: A study in commonsense physical reasoning.
Artif. Intell., 2008

The Expressivity of Quantifying over Regions.
J. Log. Comput., 2006

A First-order Theory of Communication and Multi-agent Plans.
J. Log. Comput., 2005

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., 2005

Processes and continuous change in a SAT-based planner.
Artif. Intell., 2005

Knowledge and communication: A first-order theory.
Artif. Intell., 2005

Introduction: Progress in formal commonsense reasoning.
Artif. Intell., 2004

A First-Order Theory of Communicating First-Order Formulas.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Continuous Time in a SAT-Based Planner.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Continuous Shape Transformation and Metrics on Regions.
Fundam. Informaticae, 2001

Two machine learning textbooks: An instructor's perspective.
Artif. Intell., 2001

Order of Magnitude Comparisons of Distance.
J. Artif. Intell. Res., 1999

Constraint Networks of Topological Relations and Convexity.
Constraints An Int. J., 1999

Naive Physics Perplex.
AI Mag., 1998

Focus: Qualitative Simulation and Prediction.
IEEE Expert, 1997

Gödel, Escher, Bach redux.
IEEE Expert, 1996

Book Review: Mathematical perspectives on plausible inference.
IEEE Expert, 1995

Knowledge Preconditions for Plans.
J. Log. Comput., 1994

Branching Continuous Time and the Semantics of Continuous Action.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

The Kinematics of Cutting Solid Objects.
Ann. Math. Artif. Intell., 1993

Representations of Commonsense Knowledge: Response to the Reviews.
Artif. Intell., 1993

Axiomatizing Qualitative Process Theory.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Infinite Loops in Finite Time: Some Observations.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Representations of commonsense knowledge.
notThenot Morgan Kaufmann series in representation and reasoning, Morgan Kaufmann, ISBN: 978-1-55860-033-1, 1990

Solutions to a Paradox of Perception with Limited Acuity.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

A logical framework for commonsense predictions of solid object behaviour.
Artif. Intell. Eng., 1988

Inferring Ignorance from the Locality of Visual Perception.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

Constraint Propagation with Interval Labels.
Artif. Intell., 1987

Artificial Intelligence Research in Progress at the Courant Institute, New York University.
AI Mag., 1986

A Representation for Complex Physical Domains.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Planning Routes Through Uncertain Territory.
Artif. Intell., 1984

The Mercator Representation of Spatial Knowledge.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

What's the Point?
Cogn. Sci., 1982

Algorithms for Scheduling Tasks on Unrelated Processors.
J. ACM, 1981