Extending the Smodels system with cardinality and weight constraints

Ilkka Niemelä, Patrik Simons

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    Original languageEnglish
    Title of host publicationLogic-Based Artificial Intelligence
    EditorsJ. Minker
    Place of PublicationBoston MA, USA
    Pages491-521
    ISBN (Electronic)978-1-4615-1567-8
    DOIs
    Publication statusPublished - 2000
    MoE publication typeA3 Part of a book or another research book

    Publication series

    NameThe Springer International Series in Engineering and Computer Science
    PublisherSpringer US
    Volume597
    ISSN (Print)0893-3405

    Keywords

    • logic programming
    • stable model semantics

    Cite this

    Niemelä, I., & Simons, P. (2000). Extending the Smodels system with cardinality and weight constraints. In J. Minker (Ed.), Logic-Based Artificial Intelligence (pp. 491-521). (The Springer International Series in Engineering and Computer Science ; Vol. 597).. https://doi.org/10.1007/978-1-4615-1567-8_21