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},
}
|