| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ernest Davis |
Preserving geometric properties in reconstructing regions from internal and nearby points.  |
Comput. Geom.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
How does a box work? A study in the qualitative dynamics of solid objects. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis, Patrick Doherty, Esra Erdem |
Organizing Committee. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Ontologies and Representations of Matter. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Pouring liquids: A study in commonsense physical reasoning. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
The Expressivity of Quantifying over Regions. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis, Leora Morgenstern |
A First-order Theory of Communication and Multi-agent Plans. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji-Ae Shin, Ernest Davis |
Processes and continuous change in a SAT-based planner. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
Knowledge and communication: A first-order theory. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis, Leora Morgenstern |
Introduction: Progress in formal commonsense reasoning. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
A First-Order Theory of Communicating First-Order Formulas. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ji-Ae Shin, Ernest Davis |
Continuous Time in a SAT-Based Planner. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Continuous Shape Transformation and Metrics on Regions. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Two machine learning textbooks: An instructor's perspective. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis, Nicholas Mark Gotts, Anthony G. Cohn |
Constraint Networks of Topological Relations and Convexity. |
Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
Order of Magnitude Comparisons of Distance. |
J. Artif. Intell. Res. (JAIR) |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
Naive Physics Perplex. |
AI Magazine |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Focus: Qualitative Simulation and Prediction. |
IEEE Expert |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Gödel, Escher, Bach redux. (PDF / PS) |
IEEE Expert |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
Book Review: Mathematical perspectives on plausible inference. (PDF / PS) |
IEEE Expert |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
Knowledge Preconditions for Plans. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
Branching Continuous Time and the Semantics of Continuous Action. |
AIPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Representations of Commonsense Knowledge: Response to the Reviews. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
The Kinematics of Cutting Solid Objects. |
Ann. Math. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
Infinite Loops in Finite Time: Some Observations. |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Axiomatizing Qualitative Process Theory. |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Representations of commonsense knowledge. |
|
1990 |
RDF |
|
| 1 | Ernest Davis |
Solutions to a Paradox of Perception with Limited Acuity. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
A logical framework for commonsense predictions of solid object behaviour. |
AI in Engineering |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
Inferring Ignorance from the Locality of Visual Perception. |
AAAI |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis |
Constraint Propagation with Interval Labels. |
Artif. Intell. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis, Ralph Grishman |
Artificial Intelligence Research in Progress at the Courant Institute, New York University. |
AI Magazine |
1986 |
DBLP BibTeX RDF |
|
| 1 | Sanjaya Addanki, Ernest Davis |
A Representation for Complex Physical Domains. |
IJCAI |
1985 |
DBLP BibTeX RDF |
|
| 1 | Drew V. McDermott, Ernest Davis |
Planning Routes Through Uncertain Territory. |
Artif. Intell. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
The Mercator Representation of Spatial Knowledge. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
| 1 | Ernest Davis, Jeffrey M. Jaffe |
Algorithms for Scheduling Tasks on Unrelated Processors. |
J. ACM |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")