Prioritized Autoepistemic Logic

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

    Original languageEnglish
    Title of host publicationThe Fourth European Workshop on Logics in AI, JELIA'94, York, England, 5.-8.9.1994
    Place of PublicationBerlin
    Pages232-246
    Publication statusPublished - 1994
    MoE publication typeA4 Article in a conference publication

    Keywords

    • autoepistemic logic
    • computational complexity
    • priorities

    Cite this