| 2008 |
|---|
| 32 | EE | Ernest Davis:
Pouring liquids: A study in commonsense physical reasoning.
Artif. Intell. 172(12-13): 1540-1578 (2008) |
| 2006 |
|---|
| 31 | EE | Ernest Davis:
The Expressivity of Quantifying over Regions.
J. Log. Comput. 16(6): 891-916 (2006) |
| 2005 |
|---|
| 30 | EE | Ji-Ae Shin,
Ernest Davis:
Processes and continuous change in a SAT-based planner.
Artif. Intell. 166(1-2): 194-253 (2005) |
| 29 | EE | Ernest Davis:
Knowledge and communication: A first-order theory.
Artif. Intell. 166(1-2): 81-139 (2005) |
| 28 | EE | 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) |
| 27 | EE | Ernest Davis,
Leora Morgenstern:
A First-order Theory of Communication and Multi-agent Plans.
J. Log. Comput. 15(5): 701-749 (2005) |
| 2004 |
|---|
| 26 | | Ji-Ae Shin,
Ernest Davis:
Continuous Time in a SAT-Based Planner.
AAAI 2004: 531-536 |
| 25 | | Ernest Davis:
A First-Order Theory of Communicating First-Order Formulas.
KR 2004: 235-245 |
| 24 | EE | Ernest Davis,
Leora Morgenstern:
Introduction: Progress in formal commonsense reasoning.
Artif. Intell. 153(1-2): 1-12 (2004) |
| 2001 |
|---|
| 23 | EE | Ernest Davis:
Two machine learning textbooks: An instructor's perspective.
Artif. Intell. 131(1-2): 191-198 (2001) |
| 22 | | Ernest Davis:
Continuous Shape Transformation and Metrics on Regions.
Fundam. Inform. 46(1-2): 31-54 (2001) |
| 1999 |
|---|
| 21 | | Ernest Davis,
Nicholas Mark Gotts,
Anthony G. Cohn:
Constraint Networks of Topological Relations and Convexity.
Constraints 4(3): 241-280 (1999) |
| 20 | EE | Ernest Davis:
Order of Magnitude Comparisons of Distance.
J. Artif. Intell. Res. (JAIR) 10: 1-38 (1999) |
| 1998 |
|---|
| 19 | | Ernest Davis:
Naive Physics Perplex.
AI Magazine 19(4): 51-79 (1998) |
| 1997 |
|---|
| 18 | | Ernest Davis:
Focus: Qualitative Simulation and Prediction.
IEEE Expert 12(3): 102-103 (1997) |
| 1996 |
|---|
| 17 | EE | Ernest Davis:
Gödel, Escher, Bach redux.
IEEE Expert 11(3): 3- (1996) |
| 1995 |
|---|
| 16 | EE | Ernest Davis:
Book Review: Mathematical perspectives on plausible inference.
IEEE Expert 10(5): 78-79 (1995) |
| 1994 |
|---|
| 15 | | Ernest Davis:
Branching Continuous Time and the Semantics of Continuous Action.
AIPS 1994: 231-236 |
| 14 | | Ernest Davis:
Knowledge Preconditions for Plans.
J. Log. Comput. 4(5): 721-766 (1994) |
| 1993 |
|---|
| 13 | | Ernest Davis:
The Kinematics of Cutting Solid Objects.
Ann. Math. Artif. Intell. 9(3-4): 253-305 (1993) |
| 12 | | Ernest Davis:
Representations of Commonsense Knowledge: Response to the Reviews.
Artif. Intell. 61(1): 175-179 (1993) |
| 1992 |
|---|
| 11 | | Ernest Davis:
Axiomatizing Qualitative Process Theory.
KR 1992: 177-188 |
| 10 | | Ernest Davis:
Infinite Loops in Finite Time: Some Observations.
KR 1992: 47-58 |
| 1989 |
|---|
| 9 | | Ernest Davis:
Solutions to a Paradox of Perception with Limited Acuity.
KR 1989: 79-82 |
| 1988 |
|---|
| 8 | | Ernest Davis:
Inferring Ignorance from the Locality of Visual Perception.
AAAI 1988: 786-790 |
| 7 | EE | Ernest Davis:
A logical framework for commonsense predictions of solid object behaviour.
AI in Engineering 3(3): 125-140 (1988) |
| 1987 |
|---|
| 6 | | Ernest Davis:
Constraint Propagation with Interval Labels.
Artif. Intell. 32(3): 281-331 (1987) |
| 1986 |
|---|
| 5 | | Ernest Davis,
Ralph Grishman:
Artificial Intelligence Research in Progress at the Courant Institute, New York University.
AI Magazine 7(5): 82-86 (1986) |
| 1985 |
|---|
| 4 | | Sanjaya Addanki,
Ernest Davis:
A Representation for Complex Physical Domains.
IJCAI 1985: 443-446 |
| 1984 |
|---|
| 3 | | Drew V. McDermott,
Ernest Davis:
Planning Routes Through Uncertain Territory.
Artif. Intell. 22(2): 107-156 (1984) |
| 1983 |
|---|
| 2 | | Ernest Davis:
The Mercator Representation of Spatial Knowledge.
IJCAI 1983: 295-301 |
| 1981 |
|---|
| 1 | EE | Ernest Davis,
Jeffrey M. Jaffe:
Algorithms for Scheduling Tasks on Unrelated Processors.
J. ACM 28(4): 721-736 (1981) |
