A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic

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

    Original languageEnglish
    Title of host publicationAAAI Fall Symposium Series - Automated Deduction in Nonstandard Logics, Raleigh, NC, USA, 22.-24.10.1993
    Place of PublicationMenlo Park
    PublisherAAAI PRESS
    Publication statusPublished - 1993
    MoE publication typeA4 Article in a conference publication


    • automated theorem proving
    • nonmonotonic logics

    Cite this