View source for Commonsense 2013

{{Event
|Acronym=Commonsense 2013
|Title=11th International Symposium on Logical Formalization on Commonsense Reasoning
|Series=Commonsense
|Type=Conference
|Start date=2013/05/27
|End date=2013/05/29
|Homepage=http://commonsensereasoning.org/2013/index.html
|City=Ayia Napa
|Country=Cyprus
|Abstract deadline=2013/02/27
|Paper deadline=2013/03/03
|has general chair=Antonis Kakas
|has program chair=Loizos Michael, Charlie Ortiz, Benjamin Johnston
|Accepted papers=27
|has Proceedings Link=http://commonsensereasoning.org/2013/docs/papers.zip
}}
Commonsense-2013, the Eleventh International Symposium on Logical Formalization on Commonsense Reasoning, will be held in Cyprus on 27-29 May 2013.

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.
Abstract deadline	February 27, 2013 +
Acronym	Commonsense 2013 +
End date	May 29, 2013 +
Event in series	Commonsense +
Event type	Conference +
Has coordinates	34° 59' 22", 33° 59' 46"Latitude: 34.989322222222 Longitude: 33.996202777778 +
Has general chair	Antonis Kakas +
Has location city	Ayia Napa +
Has location country	Category:Cyprus +
Has program chair	Loizos Michael +, Charlie Ortiz + and Benjamin Johnston +
Homepage	http://commonsensereasoning.org/2013/index.html +
IsA	Event +
Paper deadline	March 3, 2013 +
Start date	May 27, 2013 +
Submission deadline	March 3, 2013 +
Title	11th International Symposium on Logical Formalization on Commonsense Reasoning +