A Translation-based Approach to the Verification of Modular Equivalence

Emilia Oikarinen, Tomi Janhunen

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

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publication4th Workshop on Answer Set Programming (ASP), Porto, Portugal, September 8 and 13, 2007
    EditorsStefania Costantini, Richard Watson
    Publication statusPublished - 2007
    MoE publication typeA4 Article in a conference publication


    • modular answer set programming
    • modular equivalence
    • nonmonotonic reasoning
    • stable model semantics
    • translation-based approach

    Cite this