Classifying Semi-Normal Default Logic on the Basis of its Expressive Power

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

    10 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999
    EditorsM. Gelfond, N. Leone, G. Pfeifer
    Publication statusPublished - 1999
    MoE publication typeA4 Article in a conference publication


    • default logic
    • expressive power
    • modularity
    • semi-normality
    • translation function

    Cite this