A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses

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

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationAnswer Set Programming, Messina, Sisilia, Italia, 26.-28.9.2003
    EditorsMarina de Vos, Alessandro Provetti
    PublisherCEUR
    Pages166-180
    Publication statusPublished - 2003
    MoE publication typeA4 Article in a conference publication

    Keywords

    • expressive power
    • modularity
    • propositional satisfiability
    • stable models
    • supported models

    Cite this