BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2009/newsitem/2634/1-3 -June-2009-9th-International-Symposium-on-Logical- Formalizations-of-Commonsense-Reasoning-Toronto-Ca nada DTSTAMP:20081127T000000 SUMMARY:9th International Symposium on Logical For malizations of Commonsense Reasoning, Toronto, Can ada DTSTART;VALUE=DATE:20090601 DTEND;VALUE=DATE:20090603 LOCATION:Toronto, Canada DESCRIPTION:One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certa in bounded or mechanical tasks which humans find d ifficult, such as playing chess, we have very litt le idea how to program computers to do well at com monsense tasks which are easy for humans. One appr oach to this problem is to formalize commonsense r easoning using mathematical logic. The symposiu m aims to bring together researchers who have stud ied the formalization of commonsense reasoning. Th e focus of the symposium is on representation rath er than on algorithms, and on formal rather than i nformal methods. For more information, see http ://www.commonsensereasoning.org/ We aim for rigo rous and concrete paper submissions. While mathema tical logic is expected to be the primary lingua f ranca of the symposium, we also welcome papers usi ng a rigorous but not logic-based representation o f commonsense domains. Technical papers offering n ew results in the area are especially welcome; obj ect-level theories as opposed to meta-level result s are preferred. Papers should be submitted by Feb ruary 16, 2009. X-ALT-DESC;FMTTYPE=text/html:
\n One of the major long-term goals of AI is to endow computers with common sense. Although we kno w how to build programs that excel at certain boun ded or mechanical tasks which humans find difficul t, such as playing chess, we have very little idea how to program computers to do well at commonsens e tasks which are easy for humans. One approach to this problem is to formalize commonsense reasonin g using mathematical logic.\n
\n\nThe symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on repre sentation rather than on algorithms, and on formal rather than informal methods.\n
\n \n \n\n For more information, see http://www.commonsensereasoning.org/ \n
\nWe aim for rigorous and concrete paper submissions. While ma thematical logic is expected to be the primary lin gua franca of the symposium, we also welcome paper s using a rigorous but not logic-based representat ion of commonsense domains. Technical papers offer ing new results in the area are especially welcome ; object-level theories as opposed to meta-level r esults are preferred.\nPapers should be submitted by February 16, 2009. \n
\n