GNT - A Solver for Disjunctive Logic Programs

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

    24 Citations (Scopus)
    Original languageEnglish
    Title of host publication7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings
    EditorsVladimir Lifschitz, Ilkka Niemelä
    ISBN (Electronic)978-3-540-24609-1
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    ISSN (Print)0302-9743


    • backtracking search
    • disjunctive logic programs
    • minimal models
    • stable model semantics
    • translation

    Cite this