Logic Programs with Monotone Cardinality Atoms

Victor Marek, Ilkka Niemelä, Miroslaw Truszczynski

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

    11 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic Programming and Nonmonotonic Reasoning
    Subtitle of host publication7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings
    Number of pages13
    ISBN (Electronic)978-3-540-24609-1
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    ISSN (Print)0302-9743


    • answer set programming
    • cardinality constraints
    • stable models

    Cite this