Separating Disbeliefs from Beliefs in Autoepistemic Reasoning

Reference:

Tomi Janhunen. Separating disbeliefs from beliefs in autoepistemic reasoning. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'97, pages 132–151, Dagstuhl, Germany, July 1997. Springer-Verlag. LNAI 1265.

Suggested BibTeX entry:

@inproceedings{Janhunen97:lpnmr,
    address = {Dagstuhl, Germany},
    author = {Tomi Janhunen},
    booktitle = {Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'97},
    editor = {Jürgen Dix and Ulrich Furbach and Anil Nerode},
    month = {July},
    note = {LNAI 1265},
    pages = {132--151},
    publisher = {Springer-Verlag},
    title = {Separating Disbeliefs from Beliefs in Autoepistemic Reasoning},
    year = {1997},
}