Modular Equivalence for Normal Logic Programs

Emilia Oikarinen, Tomi Janhunen

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

    61 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 28 August - 1 September, 2006
    EditorsGerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso
    PublisherIOS PRESS
    Pages412-416
    Publication statusPublished - 2006
    MoE publication typeA4 Article in a conference publication

    Keywords

    • answer set programming
    • congruence
    • equivalence
    • modular logic programs
    • stable model semantics

    Cite this