Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

21-23 March 2011, AAAI Spring Symposium Series, Stanford University

Title: 10th Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense-2011)
Date: 21-23 March 2011
Location: Stanford University
Deadline: 8 October 2010

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 characterize commonsense reasoning using representations based on logic or other formal theories. The challenges to creating such formalizations include accumulating knowledge about the everyday world, representing this knowledge formally, integrating different representations, and developing reasoning methods for these representations.

For more information, see http://www.commonsensereasoning.org/2011/index.html

We invite submissions for presentation at Commonsense-2011. Deadline for submissions: October 8, 2010.

Please note that this newsitem has been archived, and may contain outdated information or links.