Reference:
Ilkka Niemelä. Autoepistemic logic as a unified basis for nonmonotonic reasoning. Doctoral dissertation. Research report A24, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1993.
Suggested BibTeX entry:
@techreport{Niemela93:thesis,
address = {Espoo, Finland},
author = {Ilkka Niemel{\"a}},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {August},
number = {A24},
title = {Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning},
type = {Doctoral dissertation. Research report},
year = {1993},
}
|