Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen

    Research output: Contribution to journalArticleScientificpeer-review

    644 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)181-234
    JournalArtificial Intelligence
    Volume138
    Issue number1-2
    DOIs
    Publication statusPublished - 2002
    MoE publication typeA1 Journal article-refereed

    Keywords

    • Answer set programming
    • Logic programs
    • Optimization
    • Stable model semantics
    • Weight constraints

    Cite this