COMMONSENSE'07 - CALL FOR PAPERS

[Rob Miller]

COMMONSENSE'07 - CALL FOR PAPERS

Important dates:
   - Paper or extended abstract submission deadline: October 6, 2006
   - Notification of acceptance: November 3, 2006
   - Camera ready papers due: January 26, 2007
   - Symposium: March 26-28, 2007

We invite submissions for presentation at Commonsense'07, the 8th  
International Symposium on Logical Formalizations of Commonsense  
Reasoning, to be held as part of the AAAI Spring Symposium Series,  
March 26-28 2007, at Stanford University, California, USA.

One of the major long-term goals of AI is to endow computers with  
common sense, and one approach to this goal is to formalize  
commonsense reasoning using mathematical logic. This is the focus of  
this symposium. The challenges to creating such a formalization  
include the accumulation of large amounts of knowledge about our  
everday world, the representation of this knowledge in suitable  
formal languages, the integration of different representations in a  
coherent way, and the development of explicit reasoning methods that  
use these representations. Specific topics of interest include:

- change, action, and causality
- ontologies, including space, time, shape, and matter
- levels of granularity of ontology and reasoning
- large commonsense knowledge bases
- axiomatizations of benchmark commonsense problems
- exploration of new commmonsense domains in a preformal way
- nonmonotonic reasoning
- formal models of probabilistic reasoning
- formal theories of context
- mental attitudes
- belief change, update, and revision
- cognitive robotics
- reasoning about multi-agent systems
- aspects of commonsense reasoning applicable to the Semantic Web
- applications of formal representations to applications
- other mathematical tools for capturing commonsense reasoning

The focus of the symposium is on formal representation rather than on  
algorithms. While mathematical logic is expected to be the primary  
lingua franca of the symposium, we also welcome papers using a  
rigorous but non-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.

We are pleased to be able to hold this symposium as a special event  
in honor of John McCarthy's 80th year. John McCarthy is, of course,  
the father of formal commonsense reasoning, and submissions which  
celebrate his immense contribution to the field are especially welcome.

Papers or extended abstracts of no more than 6 pages should be  
submitted as email attachments to commonsense07 at ucl.ac.uk (PDF  
format) by October 6, 2006. All submissions will be reviewed by the  
program committee as listed on the Commonsense'07 web site (URL  
below). The symposium will be co-chaired by

- Eyal Amir, University of Illinois
- Vladimir Lifschitz, University of Texas at Austin
- Rob Miller, University College London

For all enquiries please email the symposium co-chairs at  
commonsense07 at ucl.ac.uk. For a more detailed call for papers and  
further information see the symposium web site at www.ucl.ac.uk/ 
commonsense07.