[PlanetKR] Commonsense-2013 Extended Deadline (Abstracts due Feb. 27; Full papers due March 3)

Mary-Anne Williams Mary-Anne at TheMagicLab.org
Sat Feb 16 07:15:45 EST 2013

*Eleventh International Symposium on Logical Formalizations of Commonsense

We invite submissions for presentation at Commonsense-2013, to be held in
Cyprus, May 27-29, 2013.

Important Dates (NEW!)

     * February 27, 2013: Title and Abstract (~200 words) due

     * March 3, 2013: Submissions (full papers)

     * April 10, 2013: Acceptances

     * April 28, 2013: Deadline for submitting final paper

     * May 27-29, 2013: Symposium

   (Please note that these dates are preliminary and are subject to change.)




Endowing computers with common sense is one of the major long-term goals of
Artificial Intelligence research. One approach to this problem is to
formalize commonsense reasoning using representations based on formal logic
or other formal theories such as algebraic representations. The challenges
to creating such a formalization include the accumulation of large amounts
of knowledge about our everyday world, the representation of this knowledge
in suitable formal languages, the integration of different representations
in a coherent way, and the development of reasoning methods that use these

A decade ago, commonsense reasoning was considered visionary and long term,
but it is now considered highly relevant for current applications, such as
robotic systems that can interact with humans in open environments, and
information extraction systems that use commonsense knowledge together with
corpus-based learning to interpret natural language texts. Commonsense-2013
will have a special track on commonsense reasoning in natural language
understanding, including topics such as: speech acts, dialog, text
comprehension, synthesizing large corpus NLP techniques with commonsense
reasoning, textual entailment, and natural logic. As before, papers that
describe applications in which logic-based commonsense reasoning has made a
contribution and which can help shape our research agendas in the future
are encouraged.

Topics of interest at the symposium include, but are not limited to:

     * Formal representations, reasoning, and algorithms, for
specific commonsense domains including:

          + time, change, action, and causality

          + geometric space

          + commonsense physical reasoning

          + commonsense biological reasoning (of plants, animals and humans)

          + mental states and propositional attitudes, such as knowledge,

            belief, intention, desire, emotion

          + interactions among multiple agents and social relations

          + law and legal reasoning

     * Preformal analysis of original aspects of these domains

     * 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

          + heuristic and approximate reasoning

          + nonmonotonic reasoning

          + belief revision

          + probabilistic reasoning

     * Meta-theorems about commonsense theories and techniques such as:

          + metalogical theorems such as completeness theorems

          + computational complexity

     * Methods for creating commonsense knowledge bases, including:

          + statistical and corpus-based machine learning techniques

          + crowd sourcing

          + hand crafting microtheories

          + combinations of the above techniques

     * Relation of other fields, such as philosophy, linguistics,

       cognitive psychology, game theory, and economics to formal theories

       of commonsense knowledge.

 The symposium aims to bring together researchers who are interested in the
formalization and automation of commonsense reasoning. We aim for rigorous
and concrete paper submissions. While mathematical logic is expected to be
the primary lingua franca of the symposium, we also welcome papers using a
rigorous but not logic-based representation of commonsense domains.

Technical papers offering new results in the area are especially welcome;
object-level theories are of particular interest. We also welcome demos of
practical systems that make use of commonsense reasoning. In addition,
survey papers, papers studying the relationship between different
approaches, and papers on methodological issues such as theory evaluation,
are also encouraged.


The text of papers submitted (excluding references) should be at most 6
pages long, in either AAAI  or IJCAI format.

Full submission information may be found at the conference website:



   Questions may be directed to the chairs:

Conference Chair

     * Antonis Kakas, University of Cyprus, Cyprus (antonis at ucy.ac.cy)

  Program Chairs

     * Loizos Michael, Open University of Cyprus, Cyprus (loizos at ouc.ac.cy)

     * Charlie Ortiz, Nuance Communications Inc, California (
charles.ortiz at nuance.com)

     * Benjamin Johnston, University of Technology, Sydney (
johnston at it.uts.edu.au)

Professor Mary-Anne Williams
Director, Innovation and Enterprise Research Lab
Associate Dean (Research and Development)
Faculty of Engineering and Information Technology
University of Technology, Sydney
Research and Development Office
Building 2 Level 7 Room 7092
*P.O. 123 Broadway NSW 2007 Australia
Phone: + 61 2 9514 2663 (Gunasmin)
Facsimile: + 61 2 9514 2868

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20130216/1f19262c/attachment.html 

More information about the PlanetKR mailing list