Capturing Stationary and Regular Extensions with Reiter's Extensions

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

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 7th European Workshop on Logic in Artificial Intelligence, JELIA 2000, Málaga, Spain, September/October 2000
    EditorsM. Ojeda-Aciego, I. Guzman, G. Brewka, L. Moniz Pereira
    Place of PublicationBerlin, Germany
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication


    • logic programs
    • stable model semantics

    Cite this