This page is a historical archive. For the latest information please visit
Commonsense Reasoning

Commonsense Reasoning ~ Information

Commonsense 2011

Tenth International Symposium on Logical Formalizations of Commonsense Reasoning

Commonsense-2011, the Tenth International Symposium on Logical Formalization on Commonsense Reasoning, will be held as part of the AAAI Spring Symposium Series at Stanford University, March 21-23, 2011.

The biennial Commonsense Symposia series provides a forum for exploring one of the long-term goals of Artificial Intelligence, endowing computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we still have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using formal languages such as mathematical logic.

Since John McCarthy founded the Commonsense Symposium in 1991, the symposium has served as the premiere venue for bringing together researchers who are focusing on the formalization of commonsense reasoning.

The preliminary call for papers can be found here.

Important Dates

  • October 28, 2010: Submissions due
  • November 25, 2010: Acceptances
  • January 21, 2011: Deadline for submitting final paper
  • March 21-23, 2011: Symposium


Thanks to AAAI and the AAAI Spring Symposium committee for their support. Funding for student travel and registration has been generously provided by Artificial Intelligence Journal.

For questions or comments about please email

Website design by Benjamin Johnston, based on the Fluid 960 Grid System by Stephen Bau and Nathan Smith. Crowd photo by James Cridland.