Proof systems for nonmonotonic logics

Ilkka Niemelä, Camilla Schwind

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    Original languageEnglish
    Title of host publication12th International Conference on Automated Deduction, Nancy, France, June 28 - July 1, 1994
    Subtitle of host publicationLecture notes for a tutorial
    Number of pages44
    Publication statusPublished - 1994
    MoE publication typeB3 Non-refereed article in conference proceedings

    Cite this