Ernest Davis

According to our database1, Ernest Davis authored at least 65 papers between 1981 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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 Magazine, 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 Magazine, 2016

How to Write Science Questions that Are Easy for People and Hard for Computers.
AI Magazine, 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 Cognition & Computation, 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 Cognition & Computation, 2013

Qualitative Spatial Reasoning in Interpreting Text and Narrative.
Spatial Cognition & Computation, 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 Magazine, 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

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

2008
Physical Reasoning.
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. Inform., 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, 1999

1998
Naive Physics Perplex.
AI Magazine, 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.
AI in Engineering, 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 Magazine, 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
What's the Point?
Cognitive Science, 1982

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


  Loading...