Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs

Gerd Brewka, Ilkka Niemelä, Tommi Syrjänen

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

    29 Citations (Scopus)
    Original languageEnglish
    Title of host publication8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings
    EditorsSergio Flesca, Sergio Greco, Nicola Leone
    Pages444-456
    ISBN (Electronic)978-3-540-45757-2
    DOIs
    Publication statusPublished - 2002
    MoE publication typeA4 Article in a conference publication

    Publication series

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

    Keywords

    • disjunctions
    • logic programs
    • preferences
    • stable model semantics

    Cite this