We stand with Ukraine  

Ernest Davis

Orcid: 0000-0003-4812-817X

According to our database1, Ernest Davis authored at least 83 papers between 1981 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Benchmarks for Automated Commonsense Reasoning: A Survey.
[BibTeX]
[DOI]
Ernest Davis
ACM Comput. Surv., April, 2024

Testing GPT-4-o1-preview on math and science problems: A follow-up study.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2024

The Defeat of the Winograd Schema Challenge (Abstract Reprint).
[BibTeX]
[DOI]
Vid Kocijan
,
Ernest Davis
,
Thomas Lukasiewicz
,
Gary Marcus
,
Leora Morgenstern
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
The defeat of the Winograd Schema Challenge.
[BibTeX]
[DOI]
Vid Kocijan
,
Ernest Davis
,
Thomas Lukasiewicz
,
Gary Marcus
,
Leora Morgenstern
Artif. Intell., December, 2023

Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems.
[BibTeX]
[DOI]
Ernest Davis
,
Scott Aaronson
CoRR, 2023

Mathematics, word problems, common sense, and artificial intelligence.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2023

2022
Limits of an AI program for solving college math problems.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2022

A very preliminary analysis of DALL-E 2.
[BibTeX]
[DOI]
Gary Marcus
,
Ernest Davis
,
Scott Aaronson
CoRR, 2022

Pragmatic constraints and pronoun reference disambiguation: the possible and the impossible.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2022

Physical Reasoning in an Open World.
[BibTeX]
[DOI]
Zhuoran Zeng
,
Ernest Davis
CoRR, 2022

A Gentle Introduction to Deep Nets and Opportunities for the Future.
[BibTeX]
[DOI]
Kenneth Church
,
Valia Kordoni
,
Gary Marcus
,
Ernest Davis
,
Yanjun Ma
,
Zeyu Chen
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022

2021
Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021).
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2021

A Flawed Dataset for Symbolic Equation Verification.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2021

Insights for AI from the human mind.
[BibTeX]
[DOI]
Gary Marcus
,
Ernest Davis
Commun. ACM, 2021

2020
Unanswerable Questions About Images and Texts.
[BibTeX]
[DOI]
Ernest Davis
Frontiers Artif. Intell., 2020

The test set for the TransCoder system.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2020

A Review of Winograd Schema Challenge Datasets and Approaches.
[BibTeX]
[DOI]
Vid Kocijan
,
Thomas Lukasiewicz
,
Ernest Davis
,
Gary Marcus
,
Leora Morgenstern
CoRR, 2020

A Generalization Test of Conjunction Errors in Physical Reasoning.
[BibTeX]
[DOI]
Ethan Ludwin-Peery
,
Neil Bramley
,
Ernest Davis
,
Todd M. Gureckis
Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

2019
The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019).
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2019

Limits on the Use of Simulation in Physical Reasoning.
[BibTeX]
[DOI]
Ethan Ludwin-Peery
,
Neil Bramley
,
Ernest Davis
,
Todd M. Gureckis
Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2017
Logical Formalizations of Commonsense Reasoning: A Survey.
[BibTeX]
[DOI]
Ernest Davis
J. Artif. Intell. Res., 2017

Lousy advice to the lovelorn.
[BibTeX]
[DOI]
Ernest Davis
Commun. ACM, 2017

The First Winograd Schema Challenge at IJCAI-16.
[BibTeX]
[DOI]
Ernest Davis
,
Leora Morgenstern
,
Charles L. Ortiz Jr.
AI Mag., 2017

Commonsense reasoning about containers using radically incomplete information.
[BibTeX]
[DOI]
Ernest Davis
,
Gary Marcus
,
Noah Frazier-Logue
Artif. Intell., 2017

2016
Winograd Schemas and Machine Translation.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2016

AI amusements: the tragic tale of Tay the chatbot.
[BibTeX]
[DOI]
Ernest Davis
AI Matters, 2016

Planning, Executing, and Evaluating the Winograd Schema Challenge.
[BibTeX]
[DOI]
Leora Morgenstern
,
Ernest Davis
,
Charles L. Ortiz Jr.
AI Mag., 2016

How to Write Science Questions that Are Easy for People and Hard for Computers.
[BibTeX]
[DOI]
Ernest Davis
AI Mag., 2016

The scope and limits of simulation in automated reasoning.
[BibTeX]
[DOI]
Ernest Davis
,
Gary Marcus
Artif. Intell., 2016

Algorithms and everyday life.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 2016

2015
The Scope and Limits of Simulation in Cognitive Models.
[BibTeX]
[DOI]
Ernest Davis
,
Gary Marcus
CoRR, 2015

Commonsense reasoning and commonsense knowledge in artificial intelligence.
[BibTeX]
[DOI]
Ernest Davis
,
Gary Marcus
Commun. ACM, 2015

Does the world look different in different languages?
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 2015

Ethical guidelines for a superintelligence.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 2015

2014
The Singularity and the State of the Art in Artificial Intelligence: The technological singularity (Ubiquity symposium).
[BibTeX]
[DOI]
Ernest Davis
Ubiquity, 2014

A Qualitative Calculus for Three-Dimensional Rotations.
[BibTeX]
[DOI]
Azam Asl
,
Ernest Davis
Spatial Cogn. Comput., 2014

The Limitations of Standardized Science Tests as Benchmarks for Artificial Intelligence Research: Position Paper.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2014

2013
Space, Language, and Ontology: A Response to Bateman.
[BibTeX]
[DOI]
Ernest Davis
Spatial Cogn. Comput., 2013

Qualitative Spatial Reasoning in Interpreting Text and Narrative.
[BibTeX]
[DOI]
Ernest Davis
Spatial Cogn. Comput., 2013

The expressive power of first-order topological languages.
[BibTeX]
[DOI]
Ernest Davis
J. Log. Comput., 2013

Elementarily equivalent structures for topological languages over regions in Euclidean space.
[BibTeX]
[DOI]
Ernest Davis
J. Log. Comput., 2013

The Relevance of Proofs of the Rationality of Probability Theory to Automated Reasoning and Cognitive Models.
[BibTeX]
[DOI]
Ernest Davis
CoRR, 2013

2012
Preserving geometric properties in reconstructing regions from internal and nearby points.
[BibTeX]
[DOI]
Ernest Davis
Comput. Geom., 2012

The Winograd Schema Challenge.
[BibTeX]
[DOI]
Hector J. Levesque
,
Ernest Davis
,
Leora Morgenstern
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011
Reports of the AAAI 2011 Spring Symposia.
[BibTeX]
[DOI]
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
AI Mag., 2011

How does a box work? A study in the qualitative dynamics of solid objects.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 2011

Organizing Committee.
[BibTeX]
[DOI]
Ernest Davis
,
Patrick Doherty
,
Esra Erdem
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Ontologies and Representations of Matter.
[BibTeX]
[DOI]
Ernest Davis
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2008
Physical Reasoning.
[BibTeX]
[DOI]
Ernest Davis
Proceedings of the Handbook of Knowledge Representation, 2008

Pouring liquids: A study in commonsense physical reasoning.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 2008

2006
The Expressivity of Quantifying over Regions.
[BibTeX]
[DOI]
Ernest Davis
J. Log. Comput., 2006

2005
A First-order Theory of Communication and Multi-agent Plans.
[BibTeX]
[DOI]
Ernest Davis
,
Leora Morgenstern
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.
[BibTeX]
[DOI]
Ernest Davis
J. Exp. Theor. Artif. Intell., 2005

Processes and continuous change in a SAT-based planner.
[BibTeX]
[DOI]
Ji-Ae Shin
,
Ernest Davis
Artif. Intell., 2005

Knowledge and communication: A first-order theory.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 2005

2004
Introduction: Progress in formal commonsense reasoning.
[BibTeX]
[DOI]
Ernest Davis
,
Leora Morgenstern
Artif. Intell., 2004

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

Continuous Time in a SAT-Based Planner.
[BibTeX]
[DOI]
Ji-Ae Shin
,
Ernest Davis
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2001
Continuous Shape Transformation and Metrics on Regions.
[BibTeX]
[DOI]
Ernest Davis
Fundam. Informaticae, 2001

Two machine learning textbooks: An instructor's perspective.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 2001

1999
Order of Magnitude Comparisons of Distance.
[BibTeX]
[DOI]
Ernest Davis
J. Artif. Intell. Res., 1999

Constraint Networks of Topological Relations and Convexity.
[BibTeX]
[DOI]
Ernest Davis
,
Nicholas Mark Gotts
,
Anthony G. Cohn
Constraints An Int. J., 1999

1998
Naive Physics Perplex.
[BibTeX]
[DOI]
Ernest Davis
AI Mag., 1998

1997
Focus: Qualitative Simulation and Prediction.
[BibTeX]
[DOI]
Ernest Davis
IEEE Expert, 1997

1996
Gödel, Escher, Bach redux.
[BibTeX]
[DOI]
Ernest Davis
IEEE Expert, 1996

1995
Book Review: Mathematical perspectives on plausible inference.
[BibTeX]
[DOI]
Ernest Davis
IEEE Expert, 1995

1994
Knowledge Preconditions for Plans.
[BibTeX]
[DOI]
Ernest Davis
J. Log. Comput., 1994

Branching Continuous Time and the Semantics of Continuous Action.
[BibTeX]
[DOI]
Ernest Davis
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

1993
The Kinematics of Cutting Solid Objects.
[BibTeX]
[DOI]
Ernest Davis
Ann. Math. Artif. Intell., 1993

Representations of Commonsense Knowledge: Response to the Reviews.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 1993

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

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

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

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

1988
A logical framework for commonsense predictions of solid object behaviour.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell. Eng., 1988

Inferring Ignorance from the Locality of Visual Perception.
[BibTeX]
[DOI]
Ernest Davis
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987
Constraint Propagation with Interval Labels.
[BibTeX]
[DOI]
Ernest Davis
Artif. Intell., 1987

1986
Artificial Intelligence Research in Progress at the Courant Institute, New York University.
[BibTeX]
[DOI]
Ernest Davis
,
Ralph Grishman
AI Mag., 1986

1985
A Representation for Complex Physical Domains.
[BibTeX]
[DOI]
Sanjaya Addanki
,
Ernest Davis
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
Planning Routes Through Uncertain Territory.
[BibTeX]
[DOI]
Drew V. McDermott
,
Ernest Davis
Artif. Intell., 1984

1983
The Mercator Representation of Spatial Knowledge.
[BibTeX]
[DOI]
Ernest Davis
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
What's the Point?
[BibTeX]
[DOI]
Roger C. Schank
,
Gregg C. Collins
,
Ernest Davis
,
Peter N. Johnson
,
Steve Lytinen
,
Brian J. Reiser
Cogn. Sci., 1982

1981
Algorithms for Scheduling Tasks on Unrelated Processors.
[BibTeX]
[DOI]
Ernest Davis
,
Jeffrey M. Jaffe
J. ACM, 1981


  Loading...