Commonsense 2013

Commonsense 2013
11th International Symposium on Logical Formalization on Commonsense Reasoning
Event in series	Commonsense
Dates	2013/05/27 (iCal) - 2013/05/29
Homepage:	http://commonsensereasoning.org/2013/index.html
Location
Location:	Ayia Napa, Cyprus
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":34.9893216,"lon":33.9962036,"icon":""}],"imageoverlays":null}
Important dates
Abstracts:	2013/02/27
Papers:	2013/03/03
Committees
General chairs:	Antonis Kakas
PC chairs:	Loizos Michael, Charlie Ortiz, Benjamin Johnston
Table of Contents

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.