Some (in)translatability results for normal logic programs and propositional theories

    Research output: Contribution to journalArticleScientificpeer-review

    67 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)35-86
    JournalJournal of Applied Non-Classical Logics
    Volume16
    Issue number1-2
    Publication statusPublished - 2006
    MoE publication typeA1 Journal article-refereed

    Keywords

    • answer set programming
    • expressive power
    • modularity
    • satisfiability solvers
    • stable model semantics
    • translation functions

    Cite this