Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning

Reference:

Ilkka Niemelä. Autoepistemic logic as a basis for automating nonmonotonic reasoning. In Patrick Doherty, editor, Partiality, Modality and Non-monotonicity, pages 251–289. CSLI Publications, Stanford, CA, 1996.

Suggested BibTeX entry:

@incollection{Niemela96:doherty,
    address = {Stanford, CA},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Partiality, Modality and Non-monotonicity},
    editor = {Patrick Doherty},
    pages = {251--289},
    publisher = {CSLI Publications},
    title = {Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning},
    year = {1996},
}