Davis, Ernest

Interpretation of published articles page

Code, Nr	Citation
1	`http://cs.nyu.edu/` Ernest Davis Ernest Davis Department of Computer Science Courant Institute of Mathematical Sciences New York University Fall '98 Classes Introduction to Artificial Intelligence Advanced Artificial Intelligence Reaching Me Email is best. email: davise@cs.nyu.edu phone: (212) 998-3123 fax: (212) 995-4121 Dept. of Computer Science New York University 251 Mercer St. New York NY 10012 Academic Family Tree Father (i.e. thesis advisor): Drew McDermott Grandfather: Gerry Sussman Great-grandfather: Marvin Minsky For further ancestors, look at Ben Kuiper's Academic Geneology , who traces this line back to Konigsburg, 1856. Children: Leora Morgenstern. "Foundations of a Logic of Knowledge, Action, and Communication." Leo Joskowicz. "Reasoning about Shape and Kinematic Function in Mechanical Devices" Pasquale Caianiello. "Learning as the Evolution of Representation." Alexander Botta. "A Theory of Natural Learning." Jen-Lung Chiu. "Planning in an Imperfect World Using Previous Experiences." January 1995. Grandchild: Lynn Stein Great-grandchildren: Ian Horswill Ellen Spertus Great-great-grandchild: Jon Handler Books Representing and Acquiring Geographic Knowledge, Pitman Press, 1986. Representations of Commonsense Knowledge, Morgan Kaufmann, 1990. Recent Papers
2	`file://cs.nyu.edu/pub/tech-reports/tr541.ps.Z` The Kinematics of Cutting Solid Objects. Annals of Mathematics and Artificial Intelligence, vol. 9, no. 3,4, 1993, pp. 253-305.
j-amai-9-253	Ernest Davis. The Kinematics of Cutting Solid Objects. Annals of Mathematics and Artificial Intelligence, vol. 9, pp. 253-305.
3	`file://cs.nyu.edu/pub/tech-reports/tr637.ps.Z` Knowledge Preconditions for Plans. Journal of Logic and Computation, vol. 4, no. 5, Oct. 1994, pp. 721-766
j-jlc-4-721	Ernest Davis. Knowledge Preconditions for Plans. Journal of Logic and Computation, vol. 4 (1994), pp. 721-766.
4	`file://cs.nyu.edu/pub/tech-reports/tr703.ps.gz` Approximations of Shape and Configuration Space.
5	`file://cs.nyu.edu/pub/tech-reports/tr706.ps.gz` Approximation and Abstraction in Solid Object Kinematics.
6	`file://cs.nyu.edu/pub/tech-reports/tr714.ps.gz` A Highly Expressive Language of Spatial Constraints.
7	`file://cs.nyu.edu/pub/tech-reports/tr738.ps.gz` The Naive Physics Perplex
8	`file://cs.nyu.edu/pub/tech-reports/tr754.ps.gz` Order of Magnitude Comparisons of Distance Research Interests In my research, I study the problem of representating commonsense knowledge: that is, the problem of taking the basic knowledge about the real world that is common to all humans; expressing it in a form that is systematic enough to be used by a computer program; and providing the program with techniques for effectively using that knowledge. My work has focussed primarily on spatial and physical reasoning, but I have also looked at reasoning about knowledge, belief, plans, and goals, and its interaction with physical reasoning. If you are interested in commonsense reasoning, you might like to take a look at the home page of the Fourth Symposium on Logical Formalizations of Commonsense Reasoning and its associated Problem Page