[PlanetKR] Commonsense'07 Call For Papers

[Mary-Anne Williams]

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 everyday 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.