On the Decidability and Complexity of Autoepistemic Reasoning

Reference:

Ilkka Niemelä. On the decidability and complexity of autoepistemic reasoning. Fundamenta Informaticae, 17(1,2):117–155, 1992.

Suggested BibTeX entry:

@article{Niemela92:fi,
    author = {Ilkka Niemel{\"a}},
    journal = {Fundamenta Informaticae},
    number = {1,2},
    pages = {117--155},
    title = {On the Decidability and Complexity of Autoepistemic Reasoning},
    volume = {17},
    year = {1992},
}