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     PDF

Artificial Intelligence and Commonsense Reasoning, New York Amateur Computer Club, May 14, 2015.

How AI Programs Collect Concepts. Seminar on Concepts and Categories, NYU Psychology Dept. September 25, 2015.

How Strong is the Empirical Evidence for Bayesian Models of Cognition? with Gary Marcus. Presented at the Is the Brain Bayesian? symposium, NYU, December 4, 2015.

Automating the Foundations of Physics, Starting from the Experiments . Presented at Computationally Assisted Mathematical Discovery and Experimental Mathematics, May 14. 2016. PDF.