[PlanetKR] CFP: Commonsense 2009

Mary-Anne Williams Mary-Anne at themagiclab.org
Thu Nov 13 10:32:35 EST 2008

*             Ninth  International Symposium on Logical Formalizations of
                                          Commonsense Reasoning

                                                   June 1 - 3 , 2009
                                                   Toronto, Canada
*Call for Papers*

We invite submissions for presentation at Commonsense'09, the 9th
International Symposium on Logical Formalizations of Commonsense Reasoning,
to be held at the University of Toronto on June 1-3, 2009.

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 certain bounded
or mechanical tasks which humans find difficult, such as playing chess, we
have very little idea how to program computers to do well at commonsense
tasks which are easy for humans. One approach to
ommonsense reasoning. This is the focus of Commonsense'09. Topics of
interest include, but are not limited to:

   * change, action, and causality
   * ontologies, including space, time, shape, and matter, and ontologies of
networks and structures
   * levels of granularity of ontology and reasoning
   * large commonsense knowledge bases (including work related to Halo, and
the HPKB (High Performance Knowledge Bases) and RKF (Rapid Knowledge
Formation) projects)
   * axiomatizations of benchmark commonsense problems (see the Logic
Modelling Workshop and the Common Sense Problem Page for examples)
   * exploration of new commmonsense domains in a preformal way: e.g.,
discussion of new microworlds, benchmark problems, or "drosophilae"
   * nonmonotonic reasoning
   * formal models of probabilistic reasoning
   * formal theories of context
   * mental attitudes including knowledge, belief, intention, and planning
   * belief change, update, and revision
   * cognitive robotics
   * reasoning about multi-agent systems and social interactions among
   * aspects of commonsense reasoning applicable to the Semantic Web
   * applications of formal representations to applications, such as natural
language processing
   * other mathematical tools for capturing commonsense reasoning

The symposium aims to bring together researchers who have studied the
formalization of commonsense reasoning. The focus of the symposium is on
representation rather than on algorithms, and on formal rather than informal
methods. 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 as opposed to
meta-level results are preferred. However, survey papers, papers studying
the relationship between different approaches, and papers on methodological
issues such as theory evaluation, are also encouraged.
Submission Information
*Papers or extended abstracts of no more than 6 pages (in AAAI format)
should be submitted as pdf or postscript files via the submission website.
All submissions will be reviewed by the Commonsense 2009 program committee.
Notification of acceptance will be given by April 2, 2009.

The working notes of Commonsense'09 will include all accepted papers and
will be published online. The working notes will also be available as a
technical report.
Multiple Submissions Allowed*
Papers may be submitted to Commonsense'09 even if they have been submitted
to (or are currently under review by) other conferences or symposia (such as
IJCAI). However, previously published papers are not acceptable for

Persons wishing to attend the symposium should submit a 1-2 page research
summary including if possible a list of relevant publications. This is not
required for the authors of submitted papers. PhD students need only to send
the title and abstract of their dissertation. All requests for attendance
should be sent to cs2009 at commonsensereasoning.org

* Summary of Important Dates* (TENTATIVE)

   * Paper or extended abstract submission deadline: February 16, 2009
   * Notification of acceptance: April 2, 2009
   * Camera ready papers due: April 23, 2009
   * Symposium: June 1-3, 2009

*Program Co-chairs*
Gerhard Lakemeyer, Aachen University of Technology, Germany
Leora Morgenstern, IBM T.J. Watson Research Center, New York, USA
Mary-Anne Williams, University of Technology, Sydney, Australia

*Local Arrangements Chair*
Hojjat Ghaderi, University of Toronto, Toronto, Canada

*Conference Management Support*
Benjamin Johnston, University of Technology, Sydney, Australia

*Program Committee*
Eyal Amir, University of Illinois at Urbana-Champaign, USA
Chitta Baral, Arizona State University, USA
Johan van Benthem, University of Amsterdam, the Netherlands
Xiaoping Chen, University of Science and Technology of China, China
Ernest Davis, Courant Institute, New York University, USA
Patrick Doherty, Linkoping University, Sweden
Esra Erdem, Sabanci University, Turkey
Norman Foo, University of New South Wales, Australia
Alfredo Gabaldon, University of New South Wales, Australia
Andrew Gordon, University of Southern California, USA
Pat Hayes, Institute for Human and Machine Cognition, USA
Jerry Hobbs, University of Southern California/ISI, USA
John F. Horty, University of Maryland, USA
David Israel, SRI, USA
Antonias Kakas, University of Cyprus, Cyprus
Jerome Lang, Centre National de la Recherche Scientifique, France
Joohyung Lee, Arizona State University, USA
Hector Levesque, University of Toronto, Canada
Vladimir Lifschitz, University of Texas at Austin, USA
Sheila McIlraith, University of Toronto, Canada
Rob Miller, University College of London, United Kingdom
Pavlos Peppas, University of Patras, Greece
Fiora Pirri, University of Rome, Italy
Erik Sandewall, Linkoping University, Sweden
Sebastian Sardina, RMIT University, Australia
Len Schubert, University of Rochester, USA
Michael Thielscher, Dresden University of Technology, Germany
Rich Thomason, University of Michigan, USA

Professor Mary-Anne Williams
Director, Innovation and Enterprise Research Laboratory
Centre for Quantum Computation and Intelligent Systems
University of Technology, Sydney
NSW 2007 Australia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20081113/da0d4410/attachment.html 

More information about the PlanetKR mailing list