Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses

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

    34 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary
    EditorsMarcello Balduccini, Trao Can Son
    Place of PublicationLexington
    Pages111-130
    ISBN (Electronic)978-3-642-20832-4
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication

    Publication series

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

    Cite this