TCS / Research / Publications / DisLoP: A Research Project on Disjunctive Logic Programming
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

DisLoP: A Research Project on Disjunctive Logic Programming

Reference:

C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: A Research Project on Disjunctive Logic Programming. Fachberichte Informatik 1–97, Universität Koblenz-Landau, 1997. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.

Abstract:

This paper gives a brief high-level description of what has been done in the bf Disjunctive bf Logic bf Programming-project (funded by bf Deutsche bf Forschungs-bf Gemeinschaft), undertaken by the University of Koblenz since July 1995. We present the main ideas, cite the relevant papers and point to the implemented systems and how to access them.

Suggested BibTeX entry:

@techreport{ADN:1:97,
    author = {C. Aravindan and J. Dix and Ilkka Niemel{\"a}},
    institution = {Universit{\"a}t Koblenz-Landau},
    note = {Available at \url{http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/}},
    number = {1--97},
    title = {{DisLoP: A Research Project on Disjunctive Logic Programming}},
    type = {Fachberichte Informatik},
    year = {1997},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.