Modularity Aspects of Disjunctive Stable Models

Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran

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

    24 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic Programming and Nonmonotonic Reasoning, 9th International Conference, Tempe, Arizona, May 15-16, 2007
    EditorsChitta Baral, Gerhard Brewka, John Schlipf
    Pages175-187
    Publication statusPublished - 2007
    MoE publication typeA4 Article in a conference publication

    Publication series

    Name
    PublisherSpringer
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • compositional semantics
    • disjunctive logic programming
    • modularity
    • program simplification
    • stable semantics

    Cite this