Correspondence and Equivalence for Nonmonotonic Theories

a workshop colocated with LPNMR 2007, Tempe, AZ, May 14-17 2007.

General | Topics | Submission | Programme | Committees | Important Dates | Contact

Schedule is online / CEUR proceedings are online


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.

Workshop Topics

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

Workshop topics include, but are not limited to:

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:

Schedule / Accepted Papers

The workshop is held on May 14th, 2007.


Programme committee

Wolfgang Faber, University of Calabria, Italy
Katsumi Inoue, National Institute of Informatics, Japan
Vladimir Lifschitz, University of Texas at Austin, USA
Fangzhen Lin, Hong Kong University of Science and Technology, China
Emilia Oikarinen, Helsinki University of Technology, Finland
Riccardo Rosati, Universita di Roma "La Sapienza", Italy
Hans Tompits, Vienna University of Technology, Austria

Steering committee

David Pearce, Universidad Rey Juan Carlos, Spain
Axel Polleres, Universidad Rey Juan Carlos, Spain
Agustín Valverde, Universidad de Málaga, Spain
Stefan Woltran, Vienna University of Technology, Austria

Important Dates

Submission of papers: extended to February 28, 2007
Notification of acceptance: March 30, 2007
Camera-ready papers: changed to April 18, 2007
Registration: via LPNMR
Workshop: May 14, 2007


David Pearce
Computation Science & Artificial Intelligence
Universidad Rey Juan Carlos
Calle Tulipan s/n
E-28933 Mostoles
Webpage maintained by Stefan Woltran