14-16 May 2007
Tempe AZ, U.S.A.
================================================================================
Call for Papers
CENT 2007
Correspondence and Equivalence for Nonmonotonic Theories (CENT2007)
http://www.kr.tuwien.ac.at/cent2007/
a workshop colocated with LPNMR 2007, Tempe, AZ, May 14-16 2007.
================================================================================
The systematic study of intertheory relations such as strong and uniform
equivalence has recently become an active sub-area of research in the
field of LPNMR. Various kinds of correspondence relations that may hold
between logic programs or between nonmonotonic theories have been analysed
and shown to be of practical relevance for theory or program
transformation, optimisation and modularity. Several systems for verifying
such relations have been implemented. Different types of knowledge
representation and reasoning tasks have begun to be explored in this
context, such as abductive and inductive reasoning, causal reasoning,
preference-based reasoning or reasoning about updates.
In the field of KRR more generally one notes an increased interest in
inter- theory relations that are relevant for ontologies, eg to describe
modular ontologies or equivalences between ontologies or their parts. It
may therefore be of interest to combine work in this area with work on
equivalences between nonmonotonic rules. We are also interested in new
results on equivalences between different ontology languages proposed for
the Semantic Web, particularly in combinations with (nonmonotonic) rules.
Frameworks for study might therefore include e.g. DL-programs or hybrid
knowledge bases that provide combinations of a classical or description
logic KB with logic programming rules.
The scope of the workshop covers all aspects of the study and application
of intertheory relations in the LPNMR area. In particular it welcomes
contributions that
* extend the catalogue of useful relations or provide novel
characterisations
* characterise relations wrt different approaches to LP and NMR
* examine specialised reasoning tasks, eg planning, diagnosis,
explanation, reasoning about actions, reasoning about ontologies
* explore practical applications
* present system descriptions and comparisons
Workshop topics
---------------
Workshop topics include, but are not limited to:
* logical characterisations
* applications
* computational complexity
* implementation issues
* benchmarks and system comparisons
* relations to datalog and database theory
* relations to ontologies and Semantic Web languages
Submission and Presentation Format
----------------------------------
Papers must be written in English and we encourage both original research
papers or system descriptions. Submissions must not exceed twelve (12) pages
including title page, references and figures, and must be formatted
according to the Springer LNCS/LNAI authors' instructions, but also shorter
papers will be considered. For system presentations a length of 4 pages is
recommended. We will use easychair for your electronic submissions, the
submission page is accessible at:
http://www.easychair.org/CENT2007/
Important Dates
---------------
* 23 Feb 2007, Submission of papers
* 30 March 2007, Notification of acceptance
* 20 April 2007, Camera-ready versions due
* 14-16 May 2007, Workshop
Committees
----------
Steering committee
David Pearce
Axel Polleres
Agustin Valverde
Stefan Woltran
Programme Committee
Wolfgang Faber
Katsumi Inoue
Vladimir Lifschitz
Emilia Oikarinen
Riccardo Rosati
Hans Tompits
-- to be confirmed/extended --