Ernest Davis

Ernest Davis: Preserving geometric properties in reconstructing regions from internal and nearby points. Comput. Geom. 45(5-6): 234-253 (2012)

Hector J. Levesque, Ernest Davis, Leora Morgenstern: The Winograd Schema Challenge. KR 2012

Ernest Davis: How does a box work? A study in the qualitative dynamics of solid objects. Artif. Intell. 175(1): 299-345 (2011)

Mark Buller, Paul Cuddihy, Ernest Davis, Patrick Doherty, Finale Doshi-Velez, Esra Erdem, Douglas H. Fisher, Nancy Green, Knut Hinkelmann, Mary Lou Maher, James McLurkin, Rajiv T. Maheswaran, Sara Rubinelli, Nathan Schurr, Donia Scott, Dylan A. Shell, Pedro A. Szekely, Barbara Thönssen, Arnold B. Urken: Reports of the AAAI 2011 Spring Symposia. AI Magazine 32(3): 119-127 (2011)

Ernest Davis, Patrick Doherty, Esra Erdem: Organizing Committee. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011

Ernest Davis: Ontologies and Representations of Matter. AAAI 2010

Ernest Davis: Pouring liquids: A study in commonsense physical reasoning. Artif. Intell. 172(12-13): 1540-1578 (2008)

Ernest Davis: The Expressivity of Quantifying over Regions. J. Log. Comput. 16(6): 891-916 (2006)

Ernest Davis: Knowledge and communication: A first-order theory. Artif. Intell. 166(1-2): 81-139 (2005)

Ji-Ae Shin, Ernest Davis: Processes and continuous change in a SAT-based planner. Artif. Intell. 166(1-2): 194-253 (2005)

Ernest Davis: 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. 17(3): 305-315 (2005)

Ernest Davis, Leora Morgenstern: A First-order Theory of Communication and Multi-agent Plans. J. Log. Comput. 15(5): 701-749 (2005)

Ernest Davis, Leora Morgenstern: Introduction: Progress in formal commonsense reasoning. Artif. Intell. 153(1-2): 1-12 (2004)

Ji-Ae Shin, Ernest Davis: Continuous Time in a SAT-Based Planner. AAAI 2004: 531-536

Ernest Davis: A First-Order Theory of Communicating First-Order Formulas. KR 2004: 235-245

Ernest Davis: Two machine learning textbooks: An instructor's perspective. Artif. Intell. 131(1-2): 191-198 (2001)

Ernest Davis: Continuous Shape Transformation and Metrics on Regions. Fundam. Inform. 46(1-2): 31-54 (2001)

Ernest Davis, Nicholas Mark Gotts, Anthony G. Cohn: Constraint Networks of Topological Relations and Convexity. Constraints 4(3): 241-280 (1999)

Ernest Davis: Order of Magnitude Comparisons of Distance. J. Artif. Intell. Res. (JAIR) 10: 1-38 (1999)

Ernest Davis: Naive Physics Perplex. AI Magazine 19(4): 51-79 (1998)

Ernest Davis: Focus: Qualitative Simulation and Prediction. IEEE Expert 12(3): 102-103 (1997)

Ernest Davis: Gödel, Escher, Bach redux. IEEE Expert 11(3): 3- (1996)

Ernest Davis: Book Review: Mathematical perspectives on plausible inference. IEEE Expert 10(5): 78-79 (1995)

Ernest Davis: Knowledge Preconditions for Plans. J. Log. Comput. 4(5): 721-766 (1994)

Ernest Davis: Branching Continuous Time and the Semantics of Continuous Action. AIPS 1994: 231-236

Ernest Davis: Representations of Commonsense Knowledge: Response to the Reviews. Artif. Intell. 61(1): 175-179 (1993)

Ernest Davis: The Kinematics of Cutting Solid Objects. Ann. Math. Artif. Intell. 9(3-4): 253-305 (1993)

Ernest Davis: Infinite Loops in Finite Time: Some Observations. KR 1992: 47-58

Ernest Davis: Axiomatizing Qualitative Process Theory. KR 1992: 177-188

Ernest Davis: Representations of commonsense knowledge. notThenot Morgan Kaufmann series in representation and reasoning, Morgan Kaufmann 1990, isbn 978-1-55860-033-1, pp. I-XXIII, 1-515

Ernest Davis: Solutions to a Paradox of Perception with Limited Acuity. KR 1989: 79-82

Ernest Davis: A logical framework for commonsense predictions of solid object behaviour. AI in Engineering 3(3): 125-140 (1988)

Ernest Davis: Inferring Ignorance from the Locality of Visual Perception. AAAI 1988: 786-790

Ernest Davis: Constraint Propagation with Interval Labels. Artif. Intell. 32(3): 281-331 (1987)

Ernest Davis, Ralph Grishman: Artificial Intelligence Research in Progress at the Courant Institute, New York University. AI Magazine 7(5): 82-86 (1986)

Sanjaya Addanki, Ernest Davis: A Representation for Complex Physical Domains. IJCAI 1985: 443-446

Drew V. McDermott, Ernest Davis: Planning Routes Through Uncertain Territory. Artif. Intell. 22(2): 107-156 (1984)

Ernest Davis: The Mercator Representation of Spatial Knowledge. IJCAI 1983: 295-301

Roger C. Schank, Gregg C. Collins, Ernest Davis, Peter N. Johnson, Steve Lytinen, Brian J. Reiser: What's the Point? Cognitive Science 6(3): 255-275 (1982)

Ernest Davis, Jeffrey M. Jaffe: Algorithms for Scheduling Tasks on Unrelated Processors. J. ACM 28(4): 721-736 (1981)