Ernest Davis: Research Papers

Except where otherwise noted, Ernest Davis is the sole author.

Click here for abstracts.

[53.] Bounding changes in probability over time: It is unlikely that you will change your mind very much very often. Submitted to Annals of Mathematics and Artificial Intelligence.

[52.] The Relevance of Proofs of the Rationality of Probability Theory to Automated Reasoning and Cognitive Models. Unpublished.

[51.] Reasoning from Radically Incomplete Information: The Case of Containers. by Ernest Davis, Gary Marcus, and Angelica Chen. Advances in Cognitive Systems, 2013, 283-288.

[50.] The Scope and Limits of Simulation in Automated Reasoning, by Ernest Davis and Gary Marcus. Submitted to Artificial Intelligence .

[49.] How robust are probabilistic models of higher-level cognition? by Gary Marcus and Ernest Davis. Psychological Science, Vol. 24, No. 12, 2013, 2351-2360. Paper in Word.     Supplement in Word.

[48.] The Expressive Power of First-Order Topological Languages. Journal of Logic and Computation, Vol. 23, No. 5, 2013, 1107-1141

[47.] A Qualitative Calculus for Three-Dimensional Rotations by Azam Asl and Ernest Davis. Spatial Cognition and Computation 14:1, 2014, 18-57. Journal version.

[46.] The Winograd Schema Challenge, by Hector Levesque, Ernest Davis, and Leora Morgenstern. KR-2012.

[45.] Elementarily Equivalent Structures for Topological Languages over Regions in Euclidean Space Journal of Logic and Computation, 23:3, 2013, 457-471. Journal Article

[44.] Qualitative Spatial Reasoning in Interpreting Text and Narrative. Spatial Cognition and Computation, 13:4, 2013, 264-294. Journal version
John Bateman's response to me.     My response to Bateman.

[43.] Preserving Geometric Properties in Reconstructing Regions from Internal and Nearby Points. Computational Geometry: Theory and Applications, 45:5-6, 2012, 234-253. Link to journal article (Science Direct).

[42.] Qualitative Reasoning and Spatio-Temporal Continuity. This chapter appears in Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions edited by S. Hazarika, copyright 2012, IGI Global.

[41.] Ontologies and Representations of Matter. AAAI-10.

[40.] Pouring Liquids: A Study in Commonsense Physical Reasoning Artificial Intelligence, vol. 172, 2008, pp. 1540-1578. There is an appendix containing the formal object-level proof of the main example.
Erratum in journal version (the correction is incorporated in the local version above).

[39.] How Does a Box Work? A Study in the Qualitative Dynamics of Solid Objects Artificial Intelligence , 175, 2011, 299-345. Official electronic version. There is an appendix containing the formal object-level proof of the main example.

[38.] The Expressivity of Quantifying over Regions. Journal of Logic and Computation. vol. 16, 2006, pp. 891-916.

[37.] A First-Order Theory of Communication and Multi-Agent Plans. By Ernest Davis and Leora Morgenstern.
Journal of Logic and Computation, Vol. 15, No. 5, 2005, pp. 701-749.

Appendix A: Changes to the theory and consistency proof from ``Knowledge and Communication: A First-Order Theory.''
In Postscript. in PDF.
Appendix B: Proof of correctness of sample plan. in Postscript. in PDF.

[36.] Knowledge and Communication: A First-Order Theory. Artificial Intelligence, vol. 166, 2005, pp. 81-140. Paper in Postscript.
Paper in PDF. Journal-length version of (34).

[35.] Processes and Continuous Change in a SAT-based Planner. Ji-Ae Shin and Ernest Davis. Artificial Intelligence, vol. 166, 2005, pp. 194-253. Journal-length version of (33).

[34.] A First-Order Theory of Communicating First-Order Formulas, KR-04. Conference-length version of (36).
Paper in Postscript. Paper in PDF.
Power-point presentation (Zipped directory with a .ppt and several .wav files).

[33.] Continuous Time in a SAT-Based Planner. By Ji-Ae Shin and Ernest Davis. AAAI-04, pp. 531-536. Conference-length version of (35). Paper in Postscript . Paper in PDF .

[32.] Continuous Shape Transformation and Metrics on Regions. Fundamenta Informaticae, . Vol. 46, Nos. 1-2, 2001, pp. 31-54
An appendix to this paper is Describing spatial transitions using mereotopological relations over histories. NYU Computer Science Tech. Report 2000-809, October 2000.

[31.] Constraint Networks of Topological Relations and Convexity E. Davis, N.M. Gotts, and A.G. Cohn) CONSTRAINTS Vol. 4 No. 3, 1999, pp. 241-280.

[30.] Order of Magnitude Comparisons of Distance. In Journal of AI Research vol. 10, 1999, pp. 1-38.

[29.] The Naive Physics Perplex AI Magazine, vol. 19, no. 4, Winter 1998, pp. 51-79.

[28.] A Highly Expressive Language of Spatial Constraints. NYU Computer Science Tech. Report. 714.

[27.] Approximation and Abstraction in Solid Object Kinematics. NYU Computer Science Tech. Report. 706.

[26.] Approximations of Shape and Configuration Space NYU Computer Science Tech. Report. 703. A very much improved but unpublished (except for here) version, from 2007, is Kinematic Tolerance and the Topology of Configuration Space (See Abstracts for the curious history of this paper.)

[25.] Knowledge Preconditions for Plans. Journal of Logic and Computation, vol. 4, no. 5, Oct. 1994, pp. 721-766

[24.] Branching Continuous Time and the Semantics of Continuous Action. Second International Conference on AI Planning Systems, 1994.

[23.] The Kinematics of Cutting Solid Objects. Annals of Mathematics and Artificial Intelligence, vol. 9, no. 3,4, 1993, pp. 253-305.

[22.] The Semantics of Tasks that can be Interrupted or Abandoned. First International Conference on AI Planning Systems, 1992.

[21.] Axiomatizing Qualitative Process Theory. Third International Conference on Knowledge Representation and Reasoning, 1992, pp.~177-188.

[20.] Infinite Loops in Finite Time: Some Observations. Third International Conference on Knowledge Representation and Reasoning, 1992.

[19.] Lucid Representations. Tech. Rep. 565, NYU Comp. Sci. Dept., June 1991.

[18.] Physical Idealization as Plausible Inference. Tech. Rep. 534, NYU Comp. Sci. Dept., December, 1990. Logical Formalisms of Commonsense Reasoning, Stanford Spring Symposium, 1991.

[17.] Order of Magnitude Reasoning in Qualitative Differential Equations. in J. de Kleer and D. Weld (eds.), Readings in Qualitative Physical Reasoning Morgan Kaufmann, 1989, pp. 424-434.
Table 1 in plain text.

[16.] Solutions to a Paradox of Perception with Limited Acuity. First International Conference on Knowledge Representation and Reasoning, 1989.

[15.] Reasoning about Hand-Eye Coordination. IJCAI-89 Workshop on Knowledge, Perception, and Planning

[14.] A Logical Framework for Commonsense Predictions of Solid Object Behavior. AI in Engineering, vol. 3 no. 3, 1988, pp. 125-140. This appeared in somewhat different form as A Framework for Qualitative Reasoning about Solid Objects,

[13.] Inferring Ignorance from the Locality of Visual Perception. Proc. AAAI-88, pp. 786-790

[12.] Error Correction in Cognitive Maps. Proc. Workshop on Sensor Fusion: Spatial Reasoning and Scene Interpretation, SPIE, 1988.

[11.] Constraint Propagation with Interval Labels. Artificial Intelligence, vol. 32, 1987, pp. 281-331.

[10.] Limits and Inadequacies in Artificial Intelligence. In No Way: On the Nature of the Impossible, Philip Davis and David Park, (eds.), W.H. Freeman, 1987, pp. 90-110

[9.] A Representation for Complex Physical Domains. /b> By S. Addanki and E. Davis. Proceedings of the 9th IJCAI, pp. 443 - 446, 1985

[8.] Planning and Executing Routes through Uncertain Territory. By D. McDermott and E. Davis, Artificial Intelligence, vol. 22, pp. 107 - 156, 1984

[7.] A High Level Real-Time Programming Language Tech. Rep. 145, NYU Comp. Sci. Dept., October 1984

[6.] Shape and Function of Solid Objects: Some Examples Tech. Rep 137, NYU Comp. Sci. Dept., October 1984

[5.] An Ontology of Physical Action. Tech. Rep. 123, NYU Comp. Sci. Dept., June 1984

[4.] The MERCATOR Representation of Spatial Knowledge. IJCAI-83

[3.] What's the Point? By R. Schank, G. Collins, E. Davis, P. Johnson, S. Lytinen, and B. Reiser. Cognitive Science, Vol. 6, No. 3, 1982

[2.] Algorithms for Scheduling Tasks on Unrelated Processors. By E. Davis and J. Jaffe. JACM, Vol. 28 No. 4, October 1981

[1.] Organizing Spatial Knowledge Tech. Report 193, Yale Computer Science Dept., January 1981