On the Decidability and Complexity of Autoepistemic Reasoning

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)117-155
JournalFundamenta Informaticae
Volume17
Issue number1-2
Publication statusPublished - 1992
MoE publication typeA1 Journal article-refereed

    Research areas

  • computational complexity, decidability, nonmonotonic logics

ID: 4953828