A Decision Procedure for Stratified Autoepistemic Logic

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


Research units


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
Publication statusPublished - 1992
MoE publication typeA4 Article in a conference publication

    Research areas

  • autoepistemic logic, automated theorem proving, tractability

ID: 5146718