DisLoP: A research project on Disjunctive Logic Programming

C. Aravindan, Jürgen Dix, Ilkka Niemelä

Research output: Contribution to journalArticleScientificpeer-review

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.

Original languageEnglish
Pages (from-to)151-165
Number of pages15
JournalAI Communications
Volume10
Issue number3-4
Publication statusPublished - Dec 1997
MoE publication typeA1 Journal article-refereed

Keywords

  • Disjunctive Logic Programming
  • semantics
  • non-monotonic reasoning
  • WELL-FOUNDED SEMANTICS
  • TRANSFORMATION
  • DATABASES

Cite this