Ninth International Symposium on Logical Formalizations of Commonsense Reasoning,
Commonsense-2009, the Ninth International Symposium on Logical Formalization on Commonsense Reasoning, will be held on June 1-3, 2009, at the Fields Institute, Toronto, Canada, on the campus of the University of Toronto. It is dedicated to the memory and scientific contributions of Ray Reiter (1939-2002), a world leader in cognitive robotics and formal commonsense reasoning.
Fiora Pirri, Geoffrey Hinton, and Hector Levesque.
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.
Requests for attendance can be made to firstname.lastname@example.org.
We are pleased to announce our invited speakers:
Summary of Important Dates
The Commonsense-2009 Symposium is generously supported by:
We also thank IBM Research Labs, New York, USA, for partly subsidizing the travel of one of the winners of the Commonsense-2009 Outstanding Student Paper Award.