DisLoP: a research project on Disjunctive Logic Programming

  • Authors:

  • Chandrabose Aravindan;Jürgen Dix;Ilkka Niemelä

  • Affiliations:

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

  • Venue:
  • AI Communications
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

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.