Reference:
Ilkka Niemelä. Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning. PhD thesis, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1993.
Suggested BibTeX entry:
@phdthesis{Niemela93:phdthesis,
address = {Espoo, Finland},
author = {Ilkka Niemel{\"a}},
month = {August},
school = {Helsinki University of Technology, Digital Systems Laboratory},
title = {Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning},
year = {1993},
}
|