default search action
Ernest Davis
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j49]Ernest Davis:
Benchmarks for Automated Commonsense Reasoning: A Survey. ACM Comput. Surv. 56(4): 81:1-81:41 (2024) - [c16]Vid Kocijan, Ernest Davis, Thomas Lukasiewicz, Gary Marcus, Leora Morgenstern:
The Defeat of the Winograd Schema Challenge (Abstract Reprint). AAAI 2024: 22703 - 2023
- [j48]Vid Kocijan, Ernest Davis, Thomas Lukasiewicz, Gary Marcus, Leora Morgenstern:
The defeat of the Winograd Schema Challenge. Artif. Intell. 325: 103971 (2023) - [i18]Ernest Davis:
Mathematics, word problems, common sense, and artificial intelligence. CoRR abs/2301.09723 (2023) - [i17]Ernest Davis:
Benchmarks for Automated Commonsense Reasoning: A Survey. CoRR abs/2302.04752 (2023) - [i16]Ernest Davis, Scott Aaronson:
Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems. CoRR abs/2308.05713 (2023) - 2022
- [c15]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: 1-6 - [i15]Vid Kocijan, Ernest Davis, Thomas Lukasiewicz, Gary Marcus, Leora Morgenstern:
The Defeat of the Winograd Schema Challenge. CoRR abs/2201.02387 (2022) - [i14]Zhuoran Zeng, Ernest Davis:
Physical Reasoning in an Open World. CoRR abs/2201.08950 (2022) - [i13]Ernest Davis:
Pragmatic constraints and pronoun reference disambiguation: the possible and the impossible. CoRR abs/2204.01166 (2022) - [i12]Gary Marcus, Ernest Davis, Scott Aaronson:
A very preliminary analysis of DALL-E 2. CoRR abs/2204.13807 (2022) - [i11]Ernest Davis:
Limits of an AI program for solving college math problems. CoRR abs/2208.06906 (2022) - 2021
- [j47]Gary Marcus, Ernest Davis:
Insights for AI from the human mind. Commun. ACM 64(1): 38-41 (2021) - [i10]Ernest Davis:
Unanswerable Questions about Images and Texts. CoRR abs/2102.06793 (2021) - [i9]Ernest Davis:
A Flawed Dataset for Symbolic Equation Verification. CoRR abs/2105.11479 (2021) - [i8]Ernest Davis:
Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021). CoRR abs/2112.04324 (2021) - 2020
- [j46]Ernest Davis:
Unanswerable Questions About Images and Texts. Frontiers Artif. Intell. 3: 51 (2020) - [c14]Ethan Ludwin-Peery, Neil Bramley, Ernest Davis, Todd M. Gureckis:
A Generalization Test of Conjunction Errors in Physical Reasoning. CogSci 2020 - [i7]Vid Kocijan, Thomas Lukasiewicz, Ernest Davis, Gary Marcus, Leora Morgenstern:
A Review of Winograd Schema Challenge Datasets and Approaches. CoRR abs/2004.13831 (2020) - [i6]Ernest Davis:
The test set for the TransCoder system. CoRR abs/2008.00293 (2020)
2010 – 2019
- 2019
- [c13]Ethan Ludwin-Peery, Neil Bramley, Ernest Davis, Todd M. Gureckis:
Limits on the Use of Simulation in Physical Reasoning. CogSci 2019: 707-713 - [i5]Ernest Davis:
The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019). CoRR abs/1912.05752 (2019) - 2017
- [j45]Ernest Davis, Gary Marcus, Noah Frazier-Logue:
Commonsense reasoning about containers using radically incomplete information. Artif. Intell. 248: 46-84 (2017) - [j44]Ernest Davis, Leora Morgenstern, Charles L. Ortiz Jr.:
The First Winograd Schema Challenge at IJCAI-16. AI Mag. 38(3): 97-98 (2017) - [j43]Ernest Davis:
Lousy advice to the lovelorn. Commun. ACM 60(12): 33-35 (2017) - [j42]Ernest Davis:
Logical Formalizations of Commonsense Reasoning: A Survey. J. Artif. Intell. Res. 59: 651-723 (2017) - 2016
- [j41]Ernest Davis, Gary Marcus:
The scope and limits of simulation in automated reasoning. Artif. Intell. 233: 60-72 (2016) - [j40]Ernest Davis:
Algorithms and everyday life. Artif. Intell. 239: 1-6 (2016) - [j39]Ernest Davis:
How to Write Science Questions that Are Easy for People and Hard for Computers. AI Mag. 37(1): 13-22 (2016) - [j38]Leora Morgenstern, Ernest Davis, Charles L. Ortiz Jr.:
Planning, Executing, and Evaluating the Winograd Schema Challenge. AI Mag. 37(1): 50-54 (2016) - [j37]Ernest Davis:
AI amusements: the tragic tale of Tay the chatbot. AI Matters 2(4): 20-24 (2016) - [i4]Ernest Davis:
Winograd Schemas and Machine Translation. CoRR abs/1608.01884 (2016) - 2015
- [j36]Ernest Davis:
Ethical guidelines for a superintelligence. Artif. Intell. 220: 121-124 (2015) - [j35]Ernest Davis:
Does the world look different in different languages? Artif. Intell. 229: 202-209 (2015) - [j34]Ernest Davis, Gary Marcus:
Commonsense reasoning and commonsense knowledge in artificial intelligence. Commun. ACM 58(9): 92-103 (2015) - [i3]Ernest Davis, Gary Marcus:
The Scope and Limits of Simulation in Cognitive Models. CoRR abs/1506.04956 (2015) - 2014
- [j33]Azam Asl, Ernest Davis:
A Qualitative Calculus for Three-Dimensional Rotations. Spatial Cogn. Comput. 14(1): 18-57 (2014) - [j32]Ernest Davis:
The Singularity and the State of the Art in Artificial Intelligence: The technological singularity (Ubiquity symposium). Ubiquity 2014(October): 2:1-2:12 (2014) - [i2]Ernest Davis:
The Limitations of Standardized Science Tests as Benchmarks for Artificial Intelligence Research: Position Paper. CoRR abs/1411.1629 (2014) - 2013
- [j31]Ernest Davis:
Elementarily equivalent structures for topological languages over regions in Euclidean space. J. Log. Comput. 23(3): 457-471 (2013) - [j30]Ernest Davis:
The expressive power of first-order topological languages. J. Log. Comput. 23(5): 1107-1141 (2013) - [j29]Ernest Davis:
Qualitative Spatial Reasoning in Interpreting Text and Narrative. Spatial Cogn. Comput. 13(4): 264-294 (2013) - [j28]Ernest Davis:
Space, Language, and Ontology: A Response to Bateman. Spatial Cogn. Comput. 13(4): 315-318 (2013) - [i1]Ernest Davis:
The Relevance of Proofs of the Rationality of Probability Theory to Automated Reasoning and Cognitive Models. CoRR abs/1310.1328 (2013) - 2012
- [j27]Ernest Davis:
Preserving geometric properties in reconstructing regions from internal and nearby points. Comput. Geom. 45(5-6): 234-253 (2012) - [c12]Hector J. Levesque, Ernest Davis, Leora Morgenstern:
The Winograd Schema Challenge. KR 2012 - 2011
- [j26]Ernest Davis:
How does a box work? A study in the qualitative dynamics of solid objects. Artif. Intell. 175(1): 299-345 (2011) - [j25]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): 119-127 (2011) - [c11]Ernest Davis, Patrick Doherty, Esra Erdem:
Organizing Committee. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - 2010
- [c10]Ernest Davis:
Ontologies and Representations of Matter. AAAI 2010: 291-296
2000 – 2009
- 2008
- [j24]Ernest Davis:
Pouring liquids: A study in commonsense physical reasoning. Artif. Intell. 172(12-13): 1540-1578 (2008) - [r1]Ernest Davis:
Physical Reasoning. Handbook of Knowledge Representation 2008: 597-620 - 2006
- [j23]Ernest Davis:
The Expressivity of Quantifying over Regions. J. Log. Comput. 16(6): 891-916 (2006) - 2005
- [j22]Ernest Davis:
Knowledge and communication: A first-order theory. Artif. Intell. 166(1-2): 81-139 (2005) - [j21]Ji-Ae Shin, Ernest Davis:
Processes and continuous change in a SAT-based planner. Artif. Intell. 166(1-2): 194-253 (2005) - [j20]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): 305-315 (2005) - [j19]Ernest Davis, Leora Morgenstern:
A First-order Theory of Communication and Multi-agent Plans. J. Log. Comput. 15(5): 701-749 (2005) - 2004
- [j18]Ernest Davis, Leora Morgenstern:
Introduction: Progress in formal commonsense reasoning. Artif. Intell. 153(1-2): 1-12 (2004) - [c9]Ji-Ae Shin, Ernest Davis:
Continuous Time in a SAT-Based Planner. AAAI 2004: 531-536 - [c8]Ernest Davis:
A First-Order Theory of Communicating First-Order Formulas. KR 2004: 235-245 - 2001
- [j17]Ernest Davis:
Two machine learning textbooks: An instructor's perspective. Artif. Intell. 131(1-2): 191-198 (2001) - [j16]Ernest Davis:
Continuous Shape Transformation and Metrics on Regions. Fundam. Informaticae 46(1-2): 31-54 (2001)
1990 – 1999
- 1999
- [j15]Ernest Davis, Nicholas Mark Gotts, Anthony G. Cohn:
Constraint Networks of Topological Relations and Convexity. Constraints An Int. J. 4(3): 241-280 (1999) - [j14]Ernest Davis:
Order of Magnitude Comparisons of Distance. J. Artif. Intell. Res. 10: 1-38 (1999) - 1998
- [j13]Ernest Davis:
Naive Physics Perplex. AI Mag. 19(4): 51-79 (1998) - 1997
- [j12]Ernest Davis:
Focus: Qualitative Simulation and Prediction. IEEE Expert 12(3): 102-103 (1997) - 1996
- [j11]Ernest Davis:
Gödel, Escher, Bach redux. IEEE Expert 11(3): 3- (1996) - 1995
- [j10]Ernest Davis:
Book Review: Mathematical perspectives on plausible inference. IEEE Expert 10(5): 78-79 (1995) - 1994
- [j9]Ernest Davis:
Knowledge Preconditions for Plans. J. Log. Comput. 4(5): 721-766 (1994) - [c7]Ernest Davis:
Branching Continuous Time and the Semantics of Continuous Action. AIPS 1994: 231-236 - 1993
- [j8]Ernest Davis:
Representations of Commonsense Knowledge: Response to the Reviews. Artif. Intell. 61(1): 175-179 (1993) - [j7]Ernest Davis:
The Kinematics of Cutting Solid Objects. Ann. Math. Artif. Intell. 9(3-4): 253-305 (1993) - 1992
- [c6]Ernest Davis:
Infinite Loops in Finite Time: Some Observations. KR 1992: 47-58 - [c5]Ernest Davis:
Axiomatizing Qualitative Process Theory. KR 1992: 177-188 - 1990
- [b1]Ernest Davis:
Representations of commonsense knowledge. notThenot Morgan Kaufmann series in representation and reasoning, Morgan Kaufmann 1990, ISBN 978-1-55860-033-1, pp. I-XXIII, 1-515
1980 – 1989
- 1989
- [c4]Ernest Davis:
Solutions to a Paradox of Perception with Limited Acuity. KR 1989: 79-82 - 1988
- [j6]Ernest Davis:
A logical framework for commonsense predictions of solid object behaviour. Artif. Intell. Eng. 3(3): 125-140 (1988) - [c3]Ernest Davis:
Inferring Ignorance from the Locality of Visual Perception. AAAI 1988: 786-790 - 1987
- [j5]Ernest Davis:
Constraint Propagation with Interval Labels. Artif. Intell. 32(3): 281-331 (1987) - 1986
- [j4]Ernest Davis, Ralph Grishman:
Artificial Intelligence Research in Progress at the Courant Institute, New York University. AI Mag. 7(5): 82-86 (1986) - 1985
- [c2]Sanjaya Addanki, Ernest Davis:
A Representation for Complex Physical Domains. IJCAI 1985: 443-446 - 1984
- [j3]Drew V. McDermott, Ernest Davis:
Planning Routes Through Uncertain Territory. Artif. Intell. 22(2): 107-156 (1984) - 1983
- [c1]Ernest Davis:
The Mercator Representation of Spatial Knowledge. IJCAI 1983: 295-301 - 1982
- [j2]Roger C. Schank, Gregg C. Collins, Ernest Davis, Peter N. Johnson, Steve Lytinen, Brian J. Reiser:
What's the Point? Cogn. Sci. 6(3): 255-275 (1982) - 1981
- [j1]Ernest Davis, Jeffrey M. Jaffe:
Algorithms for Scheduling Tasks on Unrelated Processors. J. ACM 28(4): 721-736 (1981)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint