Call for Papers
<br>=============
<br>12th International Symposium on Logical Formalizations of Commonsense Reasoning 2015
<br>part of the AAAI Spring 2015 Symposia series
<br>at Stanford University in Palo Alto California, March 23–25, 2015.
<br>http://commonsensereasoning.org/2015
<br>
<br>About Commonsense Reasoning 2015
<br>=================================
<br>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.
<br>
<br>Since John McCarthy fo...
Read more
Call for Papers
<br>=============
<br>12th International Symposium on Logical Formalizations of Commonsense Reasoning 2015
<br>part of the AAAI Spring 2015 Symposia series
<br>at Stanford University in Palo Alto California, March 23–25, 2015.
<br>http://commonsensereasoning.org/2015
<br>
<br>About Commonsense Reasoning 2015
<br>=================================
<br>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.
<br>
<br>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.
<br>
<br>Important Dates
<br>===============
<br>Abstracts Due: October 27, 2014
<br>Submissions Due: October 30, 2014
<br>Submission Notification Date: November 16, 2014
<br>Camera Ready Copy Due: January 19, 2015
<br>
<br>Topics
<br>======
<br>Topics of interest at the symposium include, but are not limited to:
<br>- Formal representations, reasoning, and algorithms, for specific commonsense domains such as:
<br> - time, change, action, causality
<br> - commonsense physical and geometrical reasoning
<br> - biological, medical, legal, etc. reasoning
<br> - mental states and propositional attitudes, such as knowledge, belief, intention, desire
<br> - social relations
<br>- Methods for creating commonsense knowledge bases, including:
<br> - statistical and corpus-based machine learning techniques
<br> - crowd sourcing
<br> - hand crafting microtheories
<br>- Applications of commonsense reasoning to specific tasks including:
<br> - cognitive robotics (action and perception)
<br> - logic-based planning
<br> - natural language processing, machine reading, understanding narrative structure, textual entailment, query answering
<br> - web search and web-based services
<br>- Semantic Web
<br> - computer vision
<br> - computer-aided instruction
<br> - home automation
<br> - assistive technologies
<br> - biomedical informatics; integrating and mapping biomedical ontologies
<br>- Relations among object-level theories, such as abstraction and contextualization
<br>- Methods of deductive and plausible reasoning that are applicable to commonsense domains and problems, including:
<br> - answer set programming
<br> - probabilistic, heuristic, or approximate reasoning
<br> - nonmonotonic reasoning
<br> - belief revision
<br>- Meta-theorems about commonsense theories and techniques
<br>- Relation of other fields, such as philosophy, linguistics, cognitive psychology, game theory, and economics to formal theories of commonsense knowledge
<br>
<br>Commonsense Reasoning 2015 Program Chairs
<br>=========================================
<br>Leora Morgenstern, Leidos
<br>Theodore Patkos, FORTH-ICS
<br>Robert Sloan, University of Illinois at Chicago
<br>
<br>Submission Guidelines
<br>=====================
<br>Submissions will be through Easychair at
<br>https://easychair.org/conferences/?conf=commonsense2015
<br>
<br>The text of papers submitted should be at most 6 pages long, in AAAI format.
<br>The reference list does not count toward this limit.
<br>
<br>======================
<br>Website: http://commonsensereasoning.org/2015
