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.
Collecting Commonsense Inferences from Text, Cognitum 2016 , July 11, 2016.
The Scope and Limits of Simulation in Automated Reasoning and Cognition, Northwestern University, January 10. 2017.
Reasoning about Containers Northwestern, January 11, 2017.
The Scope and Limits of Simulation in Automated Reasoning and Cognition, Cognitive AI Meetup, New York, February 23, 2017.
Avoiding Dangers of AI. SIROS-2, Brown University, March 30, 2017.
The Logical Depth of Reasoning about Other Minds , Advances in Cognitive Systems, May 13, 2017.
Proof Verification Technology and Physics In PDF Google, NY, December 2017
Four Challenges for Physical Reasoning Army Research Lab, January 18, 2018.