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