Ernest Davis is sole author, unless otherwise indicated.
A Qualitative Calculus for Three-Dimensional Rotations by Azam Asl and Ernest Davis. Submitted to AAAI-2012.
The Winograd Schema Challenge, by Hector Levesque, Ernest Davis, and Leora Morgenstern. KR-2012, to appear.
Qualitative Spatial Reasoning in Interpreting Text and Narrative. Spatial Cognition and Computation, to appear.
Elementarily Equivalent Structures for Topological Languages over Regions in Euclidean Space. Submitted to Journal of Computational Logic.
Preserving Geometric Properties in Reconstructing Regions from Internal and Nearby Points. Computational Geometry: Theory and Application,. 45:5-6, 234-253. Link to journal article (Science Direct).
Ontologies and Representations of Matter, AAAI-10.
How Does a Box Work? A Study in the Qualitative Dynamics
of Solid Objects Artificial Intelligence 175.
2011, 299-345.
Official electronic
version.
Online Appendix containing Formal Proof
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.
Pouring Liquids: A Study in Commonsense
Physical Reasoning Artificial Intelligence , vol. 172, 2008,
pp. 1540-1578.
Online Appendix containing Formal Proof
Errata in Artificial
Intelligence version (these are incorporated in the local version
above).
Physical Reasoning, in The Handbook of Knowledge Representation, Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter (eds.), Elsevier, Oxford, 2007, chap. 14, pp. 597-620.