A New Characterization of Autoepistemic Reasoning

Reference:

Ilkka Niemelä. A new characterization of autoepistemic reasoning. In Proceedings of the Finnish Artificial Intelligence Symposium, pages 64–73, Oulu, Finland, June 1990. Finnish Artificial Intelligence Society.

Suggested BibTeX entry:

@inproceedings{Niemela90:step,
    address = {Oulu, Finland},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the Finnish Artificial Intelligence Symposium},
    month = {June},
    pages = {64--73},
    publisher = {Finnish Artificial Intelligence Society},
    title = {A New Characterization of Autoepistemic Reasoning},
    year = {1990},
}

This work is not available online here.