Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning

Reference:

Ilkka Niemelä. Autoepistemic logic as a basis for automating nonmonotonic reasoning. Lecture Notes of the Summer School on Partial Semantics and Non-Monotonic Reasoning (Linköping, Sweden, May 25–29, 1992), 1992.

Suggested BibTeX entry:

@unpublished{Niemela92:psnmr,
    author = {Ilkka Niemel{\"a}},
    note = {Lecture Notes of the Summer School on Partial Semantics and Non-Monotonic Reasoning (Link\"oping, Sweden, May 25--29, 1992)},
    title = {Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning},
    year = {1992},
}