Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning

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