Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning

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

    Original languageEnglish
    Title of host publicationSummer School on Partial Semantics and Non-Monotonic Reasoning, May 25-29 at Linköping, Sweden
    Subtitle of host publicationLecture Notes
    Publication statusPublished - 1992
    MoE publication typeB3 Non-refereed article in conference proceedings

    Cite this