Reference:
Ilkka Niemelä. Constructive tightly grounded autoepistemic reasoning. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 399–404, Sydney, Australia, August 1991. Morgan Kaufmann Publishers.
Suggested BibTeX entry:
@inproceedings{Niemela91:ijcai,
address = {Sydney, Australia},
author = {Ilkka Niemel{\"a}},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence},
month = {August},
pages = {399--404},
publisher = {Morgan Kaufmann Publishers},
title = {Constructive Tightly Grounded Autoepistemic Reasoning},
year = {1991},
}
|