Smodels: A System for Answer Set Programming

Ilkka Niemelä, Patrik Simons, Tommi Syrjänen

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

    Original languageEnglish
    Title of host publicationThe 8th International Workshop on Non-Monotonic Reasoning, NMR'2000, Breckenridge, Colorado, USA, April 9-11, 2000
    EditorsC. Biral, M. Truszynski
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication

    Keywords

    • logic programs
    • stable model semantics

    Cite this