DisLoP: Towards a disjunctive logic programming system

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

3 Citations (Scopus)

Abstract

This paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as DisLoP. This system is a result of research activities of the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings
EditorsJ Dix, U Furbach, A Nerode
Pages341-352
Number of pages12
ISBN (Electronic)978-3-540-69249-2
DOIs
Publication statusPublished - 1997
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Logic Programming and Nonmonotonic Reasoning - Dagstuhl Castle, Wadern, Germany
Duration: 28 Jul 199731 Jul 1997
Conference number: 4

Publication series

NameLecture Notes in Computer Science
Volume1265
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR
CountryGermany
CityWadern
Period28/07/199731/07/1997

Cite this