Presentations: Ernest Davis

A First-Order Theory of Communicating First-Order Formulas, (Zipped directory with a .ppt and several .wav files). KR 2004.

Why Are Computers So Stupid, and What Can Be Done About It? Palladium Lecture, NYU, Feb. 2006.

Commonsense Physical Reasoning Research presentation, Feb. 2006

Commonsense Reasoning and Science Research presentation, Feb. 2007

The Expressivity of Quantifying over Regions Computational Topology, Algebra and Geometry Seminar, March 20, 2007.

Commonsense Physical Reasoning: Boxes and Pitchers IBM, May 16, 2007

Commonsense Reasoning about Chemistry Experiments: Ontology and Representation Commonsense Reasoning, June 2009.
Pre-2007 Powerpoint format

How does a Web Search Engine Work? CSplash, April 17, 2010.

Ontologies and Representations of Matter AAAI, July 14, 2010.

Metalogical Properties of First-Order Languages over Spatial Regions CUNY, October 8, 2010.

Qualitative Spatial Reasoning in Interpreting Text and Narrative. COSIT, September 14, 2011.

Why Are Computers So Stupid, and What Can Be Done About It? Science on Saturday, Princeton Plasma Physics Lab, March 3, 2012. Video

Radically Incomplete Reasoning: The Case of Containers. Advances in Cognitive Systems, December 14, 2013.

Evaluating Progress in Commonsense Reasoning AI Summit, February 24, 2014.

The Scope and Limits of Simulation in Automated Reasoning and Cognitive Models Seminar on Concepts and Categories, NYU Psychology Dept. March 28, 2014.

Projective Geometry CSplash, April 26, 2014