TCS / Research / Publications / Constructive Tightly Grounded Autoepistemic Reasoning
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.