Correspondence and Equivalence for Nonmonotonic Theories (CENT2007) - 2nd Call for papers

================================================================================
                              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
intertheory 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
Fangzhen Lin
Emilia Oikarinen
Riccardo Rosati
Hans Tompits

-- 
Dr. Axel Polleres
email: axel@polleres.net  url: http://www.polleres.net/

Received on Sunday, 4 February 2007 01:46:25 UTC