Logic Programs with Monotone Cardinality Atoms

Victor Marek, Ilkka Niemelä, Miroslaw Truszczynski

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

    13 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
    PublisherSpringer
    Pages154-166
    Number of pages13
    ISBN (Electronic)978-3-540-24609-1
    ISBN (Print)978-3-540-20721-4
    DOIs
    Publication statusPublished - 2004
    MoE publication typeA4 Conference publication

    Publication series

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

    Keywords

    • answer set programming
    • cardinality constraints
    • stable models

    Cite this