A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic

Reference:

Ilkka Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic logic. In Automated Deduction in Nonstandard Logics — Papers from the 1993 Fall Symposium, pages 97–104, Raleigh, NC, USA, October 1993. AAAI Press.

Suggested BibTeX entry:

@inproceedings{Niemela93:adnsl,
    address = {Raleigh, NC, USA},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Automated Deduction in Nonstandard Logics --- Papers from the 1993 Fall Symposium},
    month = {October},
    pages = {97--104},
    publisher = {AAAI Press},
    title = {A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic},
    year = {1993},
}