- Retrospective Review of Godel, Escher, Bach: An Eternal Golden Braid
- Pouring Liquids: A Study in Commonsense Physical Reasoning
- A FirstOrder Theory of Communicating FirstOrder Formulas Ernest Davis #
- How Does a Box Work? : Appendix. Formal proof of correctness of plan1
- Elementarily Equivalent Structures for Topological Languages over Regions in Euclidean Space
- Epistemic Logic: : Annotated Bibliography Ernest Davis
- A FirstOrder Theory of Communication MultiAgent Plans: Ernest Davis #
- Continuous Time in a SATbased Planner JiAe Shin and Ernest Davis #
- Quantities and Measurements I have figured out for you the distance between the horns of a dilemma, night and day, A
- Ontologies and Representations of Matter Ernest Davis
- Epistemic Logic and its Applications: Tutorial Notes Ernest Davis
- Book review Where mathematics comes from: how the embodied mind brings mathematics into
- A First-Order Theory of Communicating First-Order Formulas Ernest Davis
- Volume title 1 The editors
- Plausible Reasoning Talking of those who denied the truth of Christianity, he [Dr. Johnson] said, "It is
- Kinematic Tolerance and the Topology of Configuration Space Ernest Davis
- Let us admit what all idealists admit: that the nature of the world is hallucinatory. Let us do what no idealist has done: let us look for the unrealities that confirm that nature.
- Order of Magnitude Reasoning in Qualitative Differential Equations Ernest Davis
- Knowledge and Communication: A First-Order Theory
- A First-Order Theory of Communication and Multi-Agent Plans: Appendix A
- Shape Approximation in Kinematic Systems Ernest Davis #
- Processes and Continuous Change in a SAT-based Planner 1
- A First-Order Theory of Communication Multi-Agent Plans: Ernest Davis
- Preserving Geometric Properties in Reconstructing Regions from Internal and Nearby Points
- How Does a Box Work? A Study in the Qualitative Dynamics of Solid
- Pouring Liquids: A Study in Commonsense Physical Reasoning
- The Expressivity of Quantifying over Regions Ernest Davis
- Knowledge and Communication: A First-Order Theory Ernest Davis
- A First-Order Theory of Communication Multi-Agent Plans: Ernest Davis
- Continuous Time in a SAT-based Planner Ji-Ae Shin and Ernest Davis
- Fundamenta Informaticae XX (2008) 125 1 Continuous Shape Transformation and Metrics on Regions
- Describing spatial transitions using mereotopological relations over histories
- !"#$%&')(1032456(6778@9(A2B CEDFGIHQPSRTVUXWYH`
- David Rudd, ed. The Routledge Companion to Children's Literature, Routledge, 2009. xvi + 320 pp. $32.95 (hardcover). ISBN 9780415472715.
- Automating Common Sense Most of their remarks were the sort it would not be easy to disagree with: "What I always
- Qualitative Spatial Reasoning in Interpreting Text and Ernest Davis
- This thing all things devours: Birds, beasts, trees, flowers;
- Review of Metareasoning: Thinking about thinking, ed. Michael Cox and Anita Raja, MIT Press, 2011, vii+340 pages.
- Qualitative Spatial Reasoning in Interpreting Text and Ernest Davis
- Michael Adams ed., From Elvish to Klingon: Exploring Invented Languages, Oxford University Press, 2011, vi+294 pp., $19.95 ISBN 9780192807090,
- Ernest Davis Contact: Courant Institute of Mathematical Sciences
- A Qualitative Calculus for Three-Dimensional Rotations Department of Computer Engineering
- The Winograd Schema Challenge Hector J. Levesque