a workshop colocated with LPNMR 2007, Tempe, AZ, May 14-17 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
Workshop topics include, but are not limited to:
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
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
|Submission of papers:||extended to February 28, 2007|
|Notification of acceptance:||March 30, 2007|
|Camera-ready papers:||changed to April 18, 2007|
|Workshop:||May 14, 2007|
Computation Science & Artificial Intelligence
Universidad Rey Juan Carlos
Calle Tulipan s/n