2024
Benchmarks for Automated Commonsense Reasoning: A Survey.
ACM Comput. Surv., April, 2024
Testing GPT-4-o1-preview on math and science problems: A follow-up study.
CoRR, 2024
The Defeat of the Winograd Schema Challenge (Abstract Reprint).
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
The defeat of the Winograd Schema Challenge.
Artif. Intell., December, 2023
Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems.
CoRR, 2023
Mathematics, word problems, common sense, and artificial intelligence.
CoRR, 2023
2022
Limits of an AI program for solving college math problems.
CoRR, 2022
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
A Gentle Introduction to Deep Nets and Opportunities for the Future.
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).
CoRR, 2021
A Flawed Dataset for Symbolic Equation Verification.
CoRR, 2021
Insights for AI from the human mind.
Commun. ACM, 2021
2020
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
2019
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
2017
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
2016
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
2015
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
2014
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
2013
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
2012
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
2011
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
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011
2010
Ontologies and Representations of Matter.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2008
Proceedings of the Handbook of Knowledge Representation, 2008
Pouring liquids: A study in commonsense physical reasoning.
Artif. Intell., 2008
2006
The Expressivity of Quantifying over Regions.
J. Log. Comput., 2006
2005
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
2004
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
2001
Continuous Shape Transformation and Metrics on Regions.
Fundam. Informaticae, 2001
Two machine learning textbooks: An instructor's perspective.
Artif. Intell., 2001
1999
Order of Magnitude Comparisons of Distance.
J. Artif. Intell. Res., 1999
Constraint Networks of Topological Relations and Convexity.
Constraints An Int. J., 1999
1998
1997
Focus: Qualitative Simulation and Prediction.
IEEE Expert, 1997
1996
Gödel, Escher, Bach redux.
IEEE Expert, 1996
1995
Book Review: Mathematical perspectives on plausible inference.
IEEE Expert, 1995
1994
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
1993
The Kinematics of Cutting Solid Objects.
Ann. Math. Artif. Intell., 1993
Representations of Commonsense Knowledge: Response to the Reviews.
Artif. Intell., 1993
1992
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
1990
Representations of commonsense knowledge.
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.
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.
Artif. Intell. Eng., 1988
Inferring Ignorance from the Locality of Visual Perception.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
1987
Constraint Propagation with Interval Labels.
Artif. Intell., 1987
1986
Artificial Intelligence Research in Progress at the Courant Institute, New York University.
AI Mag., 1986
1985
A Representation for Complex Physical Domains.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
1984
Planning Routes Through Uncertain Territory.
Artif. Intell., 1984
1983
The Mercator Representation of Spatial Knowledge.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
1982
1981
Algorithms for Scheduling Tasks on Unrelated Processors.
J. ACM, 1981