Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning

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