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