|
Professor of Computer Science
Ph.D., 1984 (Computer Science), Yale University; B.S., 1977 (Mathematics), MIT.
Email:
Personal Homepage: http://www.cs.nyu.edu/cs/faculty/davise/
Research Interests: Artificial intelligence, knowledge representation, automated commonsense reasoning.
Affiliations: American Association of Artificial Intelligence.
Fellowships/Honors: Putnam Fellow, 1996.
Selected Works:
Representations of Commonsense Knowledge, Morgan Kaufmann, 1990.
"Processes and continuous change in a SAT-based planner", Ji-Ae Shin and Ernest Davis, Artificial Intelligence, 2005.
"Knowledge and communication: A first-order theory", Artificial Intelligence, 2005.
"The expressivity of quantifying over regions", Journal of Logic and Computation, 2006.
"Pouring liquids: A study in commonsense physical reasoning", Artificial Intelligence, 2008.
"How does a box work? A study in the qualitative dynamics of solid objects", Artificial Intelligence, 2010.
 Update your faculty profile
|
