DisLoP: a research project on Disjunctive Logic Programming
The research project on
Disjunctive Logic Programming, referred to as
DisLoP, was initiated in July 1995 at the
Jürgen Dix and
An initial funding for two years was provided by
The main aim of this project is to develop semantics and procedures for dealing with disjunction and non-monotonic negation in logic programming. On the procedural side, instead of starting from scratch, the aim is to exploit the techniques that have been developed for yet another project on Automated Reasoning (that was led led 3 years ago in Koblenz by Ulrich Furbach as a part of the German ``Schwerpunkt-Programm'' Deduction). One important consequence of this is that the PROTEIN theorem prover developed during the course of the Deduction project can be used for (positive) Disjunctive Logic Programming with little modifications. DisLoP also aims to apply the developed concepts and systems in real world applications such as Information Management Systems. This, by itself, has been conceived as a separate project, and thus there are three inter-related and co-operating projects at the University of Koblenz, Germany.
Interested visitors can go through the project report of phase 1995-97 DISLOP: A research Project on Disjunctive Logic Programming that highlights salient features of this project and summarizes the results (appeared in: AI Communications Vol. 10, No. 3/4*151--165, 1997).
The project is headed by Dr. Jürgen Dix. and Prof.Dr. Ulrich Furbach. Two research scientists Dr. Ilkka Niemelä and Dr. Chandrabose Aravindan worked exculsively on this project from 1995 to 1997. Currently, three scientists are employed in this project: Ingo Dahn, Micha Kühn and Bernd Thomas.