A Decision Procedure for Stratified Autoepistemic Logic

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

    Original languageEnglish
    Title of host publicationSuomen Tekoälytutkimuksen Päivät, Espoo, 9.-11.6.1992
    Subtitle of host publicationProceedings of the Finnish Artificial Intelligence Conference
    PublisherSuomen Tekoälyseura ry - Finnish Artificial Intelligence Society
    Publication statusPublished - 1992
    MoE publication typeA4 Article in a conference publication


    • autoepistemic logic
    • automated theorem proving
    • tractability

    Cite this