Constructive Tightly Grounded Autoepistemic Reasoning

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