posted by organizer: theodore || 10607 views || tracked by 5 users: [display]

Commonsense 2015 : Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning


When Mar 23, 2015 - Mar 25, 2015
Where Stanford, California
Abstract Registration Due Nov 3, 2014
Submission Deadline Nov 6, 2014
Notification Due Nov 23, 2014
Final Version Due Jan 19, 2015
Categories    artificial intelligence   knowledge representation   formal reasoning

Call For Papers

Due to a number of requests, the submission deadlines have been extended to
the following dates:

Extended Abstracts Due: November 3, 2014
Extended Submissions Due: November 6, 2014
Extended Submission Notification Date: November 23, 2014
Camera Ready Copy Due: January 19, 2015

Call for Papers
12th International Symposium on Logical Formalizations of Commonsense
Reasoning 2015
part of the AAAI Spring 2015 Symposia series
at Stanford University in Palo Alto California, March 23–25, 2015.

About Commonsense Reasoning 2015
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.

Important Dates
Extended Abstracts Due: November 3, 2014
Extended Submissions Due: November 6, 2014
Extended Submission Notification Date: November 23, 2014
Camera Ready Copy Due: January 19, 2015

Topics of interest at the symposium include, but are not limited to:
- Formal representations, reasoning, and algorithms, for specific
commonsense domains such as:
- time, change, action, causality
- commonsense physical and geometrical reasoning
- biological, medical, legal, etc. reasoning
- mental states and propositional attitudes, such as knowledge,
belief, intention, desire
- social relations
- Methods for creating commonsense knowledge bases, including:
- statistical and corpus-based machine learning techniques
- crowd sourcing
- hand crafting microtheories
- Applications of commonsense reasoning to specific tasks including:
- cognitive robotics (action and perception)
- logic-based planning
- natural language processing, machine reading, understanding
narrative structure, textual entailment, query answering
- web search and web-based services
- Semantic Web
- computer vision
- computer-aided instruction
- home automation
- assistive technologies
- biomedical informatics; integrating and mapping biomedical
- Relations among object-level theories, such as abstraction and
- Methods of deductive and plausible reasoning that are applicable to
commonsense domains and problems, including:
- answer set programming
- probabilistic, heuristic, or approximate reasoning
- nonmonotonic reasoning
- belief revision
- Meta-theorems about commonsense theories and techniques
- Relation of other fields, such as philosophy, linguistics,
cognitive psychology, game theory, and economics to formal theories of
commonsense knowledge

Commonsense Reasoning 2015 Program Chairs
Leora Morgenstern, Leidos
Theodore Patkos, FORTH-ICS
Robert Sloan, University of Illinois at Chicago

Submission Guidelines
Submissions will be through Easychair at

The text of papers submitted should be at most 6 pages long, in AAAI format.
The reference list does not count toward this limit.


Related Resources

AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
IJCAI 2021   30th International Joint Conference on Artificial Intelligence
KR 2020   International Conference on the Principles of Knowledge Representation and Reasoning
StoryCase 2012   ICCBR-12 Workshop on Stories, Episodes, and Cases (StoryCase)
TIME 2020   27th International Symposium on Temporal Representation and Reasoning
Signal 2021   8th International Conference on Signal and Image Processing
IJCAR 2020   10th International Joint Conference on Automated Reasoning
Scopus-BDAI 2020   2020 International Conference on Industrial Applications of Big Data and Artificial Intelligence (BDAI 2020)
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification