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

    87 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1-37
    JournalACM Transactions on Computational Logic
    Issue number1
    Publication statusPublished - 2006
    MoE publication typeA1 Journal article-refereed


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

    Cite this