CIRC2DLP - Translating Circumsciption into Disjunctive Logic Programming

Emilia Oikarinen, Tomi Janhunen

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

    10 Citations (Scopus)
    Original languageEnglish
    Title of host publication8th International Conference on Logic Programming and Nonmonotonic Reasoning, Diamante, Italy, September 5-8, 2005
    EditorsChitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
    Pages405-409
    Publication statusPublished - 2005
    MoE publication typeA4 Article in a conference publication

    Keywords

    • circumscription
    • disjunctive logic programming
    • stable model semantics
    • translation

    Cite this