DisLoP: a research project on Disjunctive Logic Programming

Article type: Research Article

Authors: Aravindan, Chandrabose | Dix, Jürgen | Niemelä, Ilkka

Affiliations: Department of Computer Science, University of Koblenz, Rheinau 1, D‐56075 Koblenz, Germany E‐mail: {arvind,dix,ini}@uni‐koblenz.de

Abstract: This paper gives a brief high‐level description of what has been done in the Disjunctive Logic Programming‐project (funded by Deutsche Forschungs‐Gemeinschaft), undertaken by the University of Koblenz, Germany since July 1995. Presented are the main ideas, the implemented systems and how to access them, and the relevant papers are cited. This paper also serves as a brief survey of the current status of disjunctive logic programming by highlighting important developments and provides enough pointers for further reading.

Keywords: Disjunctive Logic Programming, semantics, non‐monotonic reasoning

Journal: AI Communications, vol. 10, no. 3-4, pp. 151-165, 1997