Modular Equivalence for Normal Logic Programs

Emilia Oikarinen, Tomi Janhunen

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

    Original languageEnglish
    Title of host publicationThe 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May - 1 June, 2006
    EditorsJürgen Dix, Anthony Hunter
    Place of PublicationClausthal, Germany
    Pages10-18
    Publication statusPublished - 2006
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameClausthal University of Technology, Department of Informatics, Technical Report
    NumberIfI-06-04
    ISSN (Print)1860-8477

    Keywords

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

    Cite this