A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning

Reference:

T. Janhunen and Ilkka Niemelä. A scheme for weakened negative introspection in autoepistemic reasoning. In Proceedings of the 3rd Kurt Gödel Colloquium on Computational Logic and Proof Theory, pages 211–222, Brno, Czech Republic, August 1993. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{JN93:kgc,
    address = {Brno, Czech Republic},
    author = {Janhunen, T. and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 3rd Kurt G{\"o}del Colloquium on Computational Logic and Proof Theory},
    month = {August},
    pages = {211--222},
    publisher = {Springer-Verlag},
    title = {A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning},
    year = {1993},
}