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