Unfolding Partiality and Disjunctions in Stable Model Semantics

Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You

    Research output: Contribution to journalArticleScientificpeer-review

    80 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1-37
    JournalACM TRANSACTIONS ON COMPUTATIONAL LOGIC
    Volume7
    Issue number1
    DOIs
    Publication statusPublished - 2006
    MoE publication typeA1 Journal article-refereed

    Keywords

    • answer set programming
    • disjunctive stable models
    • inference engine
    • minimal models
    • partial models
    • quantified Boolean formulas

    Cite this