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