Testing the Equivalence of Logic Programs under Stable Model Semantics

Tomi Janhunen, Emilia Oikarinen

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

    11 Citations (Scopus)
    Original languageEnglish
    Title of host publication8th European Conference on Logics in Artificial Intelligence, JELIA 2002, Cosenza, Italia, syyskuu 23-26, 2002
    EditorsSergio Flesca, Sergio Greco, Nicola Leone
    PublisherSpringer Verlag, LNAI 2424
    Publication statusPublished - 2002
    MoE publication typeA4 Article in a conference publication


    • answer set programming
    • equivalence testing
    • logic programs
    • stable model semantics

    Cite this