@inproceedings{9c93a8f8d88d473b823c07a6859dff92,
title = "A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning",
keywords = "autoepistemic logic, logic programming, negative introspection, autoepistemic logic, logic programming, negative introspection, autoepistemic logic, logic programming, negative introspection",
author = "Tomi Janhunen and Ilkka Niemel{\"a}",
year = "1993",
doi = "10.1007/BFb0022570",
language = "English",
isbn = "978-3-540-57184-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "211--222",
booktitle = "3rd Kurt G{\"o}del Colloquium on Computational Logic and Proof Theory, KGC 1993; Brno, Czech Republic, 24.-27.8.1993",
address = "Germany",
}