CALL FOR PAPERS
COMMONSENSE 2005
The 7th International Symposium on Logical
Formalizations of Commonsense Reasoning
http://www.iccl.tu-dresden.de/commonsense05/
May 22-24, 2005
Corfu, Greece
One of the major long-term goals of artificial intelligence is to endow
computers with commonsense reasoning capabilities. Although we
know how to design and build systems that excel at certain bounded
or mechanical tasks which humans find difficult, such as playing
chess, we have little idea how to construct computer systems that do
well at commonsense tasks which are easy for humans.
Formalizing commonsense reasoning using logic-based approaches
will be the focus of the symposium. Topics of interest include, but
are not limited to:
* change, action, and causality
* self-aware systems
* axiomatizations of benchmark commonsense problems
* ontologies, including space, time, shape, and matter, and
ontologies of networks and structures
* levels of granularity of ontology and reasoning
* large commonsense knowledge bases
* exploration of new commonsense domains in a preformal way
(e.g. new microworlds or benchmark problems)
* nonmonotonic reasoning
* formal models of probabilistic reasoning
* formal theories of context
* mental attitudes including knowledge, belief, intention, and
planning
* belief revision, update, and merging
* cognitive robotics
* reasoning about multi-agent systems and social interactions
among agents
* applications of formal representations to applications, such as
natural language processing
* other mathematical tools for capturing common-sense
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. Papers should be rigorous
and concrete. Technical papers offering new results in the area are
especially welcome; object level theories are preferred. We
especially encourage papers on either of the two themes of this
symposium, Self-awareness and the Surprise Birthday Present
Problem (see below). Survey papers, papers studying the
relationship between different approaches, and papers on
methodological issues such as theory evaluation, are also
encouraged.
Symposium Themes
There will be two themes at this year's Common Sense Symposium.
We encourage papers on these two themes, and plan to organize
one or more panels on these topics.
The first theme is Self-awareness: the notion of the computer having
a sense of self, being conscious of its own reasoning power, and
being able to explore itself in relation to other agents. We are
especially interested in formal theories that represent self-
awareness, and/or allow a system to reason about its own
awareness.
The second theme is the Surprise Birthday Present Problem, one of
the challenge problems on the Common Sense Problem Page. We
encourage submission of papers that present solutions to this
problem and to its listed variants. Sample solutions to other
challenge problems can be found on the Common Sense Problem
Page.
Submission Information
Persons wishing to make presentations at the workshop should
submit papers of up to 6000 words, excluding the bibliography.
Electronic submissions in pdf, are preferred; otherwise 6 hard
copies of the paper are acceptable. All submissions should be sent
to one of the Symposium Chairs.
Publication
The proceedings of the symposium will be published as a Dresden
University Technical Report (ISSN 1430-211X). Moreover, the
program chairs will invite selected authors to submit extended
versions of their papers for a special issue of the Journal of Logic
and Computation.
Multiple Submissions Allowed
Papers may be submitted to Commonsense-2005 even if they have
been submitted to other conferences or symposia (such as IJCAI-
2005). If a paper is accepted at an archival conference such as
IJCAI and is also selected by Commonsense-2005 for publication at
the special journal issue, then this paper must be substantially
revised and/or extended. Previously published papers are not
acceptable for Commonsense-2005.
Participation
Persons wishing to attend the symposium should submit a 1-2 page
research summary including a list of relevant publications. This is not
required for the authors of submitted papers. Moreover PhD
students need only to send the tentative title and abstract of their
dissertation. All requests for attendance should be sent to one of the
Symposium Chairs.
Important Dates
Paper Submission Deadline: February 8, 2005
Paper Notification: March 14, 2005
Camera Ready Papers Due: March 28, 2005
Symposium: May 22 - 24, 2005
Invited Speakers
Peter Gardenfors, University of Lund
Pat Hayes, University of West Florida
John McCarthy, Stanford University
Leora Morgenstern, IBM Watson Research
Symposium Committee
Co-Chairs
- ---------
Sheila McIlraith
Dept of Computer Science
University of Toronto
6 King's College Road
Toronto, ON, Canada M4K 2W1
[EMAIL PROTECTED]
Pavlos Peppas
Dept of Business Administration
University of Patras
Patras 256 00, Greece
[EMAIL PROTECTED]
Michael Thielscher
Dept of Computer Science
Dresden University of Technology
01062 Dresden, Germany
[EMAIL PROTECTED]
Preliminary Program Committee
- -----------------------------
Eyal Amir, Uni. of Illinois at Urbana-Champaign, USA
Grigoris Antoniou, University of Crete, Greece
Chitta Bara, Arizona State University, USA
Gerd Brewka, University of Leipzig, Germany
Vinay Chaudhri, SRI, USA
Ernie Davis, NYU, USA
Patrick Doherty, University of Linkoping, Sweden
Esra Erdem, Techinal University of Wien, Austria
Jerry Hobbs, USC/ISI, USA
Antonis Kakas, University of Cyprus, Cyprus
Lefteris Kirousis, University of Patras, Greece
Jerome Lang, IRIT, France
Vladimir Lifschitz, UT at Austin, USA
Fangzhen Lin, Hong Kong UST
Leora Morgenstern, IBM, USA
Don Perlis, University of Maryland, USA
Fiora Pirri, University of Rome La Sapienza, Italy
Murray Shanahan, Imperial College, UK
Stuart Shapiro, SUNY at Buffalo, USA
Mary-Anne Williams, Uni. of Technology, Sydney, Australia
- --------------------
Professor Mary-Anne Williams
Research Chair in Information Technology
Innovation and Technology Research Laboratory
Faculty of Information Technology
University of Technology, Sydney
NSW 2007 Australia
http://innovation.it.uts.edu.au/Mary-Anne
