Smodels-2.26: a system for answer set programming

P. Simons

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2000
    MoE publication typeI2 ICT software

    Keywords

    • choice rules
    • constraint rules
    • logic programs
    • optimize statements
    • stable model semantics
    • weight rules

    Cite this

    Simons, P. (Author). (2000). Smodels-2.26: a system for answer set programming. Software