A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning

Reference:

Tomi Janhunen and Ilkka Niemelä. A scheme for weakened negative introspection in autoepistemic reasoning. In Georg Gottlob, Alexander Leitsch, and Daniele Mundici, editors, Computational Logic and Proof Theory, Proceedings of the Third Kurt Gödel Colloquium, KGC'93, pages 211–222, Brno, Czech Republic, August 1993. Springer Verlag. LNCS 713.

Suggested BibTeX entry:

@inproceedings{JN93:kgc,
    address = {Brno, Czech Republic},
    author = {Tomi Janhunen and Ilkka Niemel{\"a}},
    booktitle = {Computational Logic and Proof Theory, Proceedings of the Third Kurt G{\"o}del Colloquium, KGC'93},
    editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici},
    month = {August},
    note = {LNCS 713},
    pages = {211--222},
    publisher = {Springer Verlag},
    title = {A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning},
    year = {1993},
}