m (Text replacement - "|State=" to "|Region=") |
(mobo import Concept___Events-migrated) |
||
| Line 3: | Line 3: | ||
|Title=Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning | |Title=Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning | ||
|Type=Conference | |Type=Conference | ||
| − | |||
|Homepage=http://commonsensereasoning.org/2015/index.html | |Homepage=http://commonsensereasoning.org/2015/index.html | ||
|City=Stanford University | |City=Stanford University | ||
|Region=California | |Region=California | ||
|Country=Country:US | |Country=Country:US | ||
| − | |||
|has program chair=Leora Morgenstern, Theodore Patkos, Robert Sloan | |has program chair=Leora Morgenstern, Theodore Patkos, Robert Sloan | ||
|pageCreator=User:Curator 36 | |pageCreator=User:Curator 36 | ||
| Line 20: | Line 18: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Abstract Deadline=2014/11/03 | ||
| + | |Submission Deadline=2014/11/06 | ||
| + | }} | ||
| + | {{S Event}} | ||
Commonsense-2015, the Twelfth International Symposium on Logical Formalization on Commonsense Reasoning, will be held at Stanford University on 23-25 March 2015 as part of the AAAI Spring Symposia. | Commonsense-2015, the Twelfth International Symposium on Logical Formalization on Commonsense Reasoning, will be held at Stanford University on 23-25 March 2015 as part of the AAAI Spring Symposia. | ||
Revision as of 19:03, 22 September 2022
|
||
| Abstract |
|
||
| Submission |
Stanford University, California, United States of America
Commonsense-2015, the Twelfth International Symposium on Logical Formalization on Commonsense Reasoning, will be held at Stanford University on 23-25 March 2015 as part of the AAAI Spring Symposia.
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, it is still very difficult to get to do well at commonsense tasks which are easy for humans, such as interacting with a human on a task, or conversing about a film or book. 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.
