Towards Automatic Autoepistemic Reasoning

Reference:

Ilkka Niemelä. Towards automatic autoepistemic reasoning. In Proceedings of the European Workshop on Logics in Artificial Intelligence—JELIA'90, pages 428–443, Amsterdam, The Netherlands, September 1990. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{Niemela90:jelia,
    address = {Amsterdam, The Netherlands},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the European Workshop on Logics in Artificial Intelligence---JELIA'90},
    month = {September},
    pages = {428--443},
    publisher = {Springer-Verlag},
    title = {Towards Automatic Autoepistemic Reasoning},
    year = {1990},
}