%0 Conference Paper %1 conf/kgc/JanhunenN93 %A Janhunen, Tomi %A Niemelä, Ilkka %B Kurt Gödel Colloquium %D 1993 %E Gottlob, Georg %E Leitsch, Alexander %E Mundici, Daniele %I Springer %K dblp %P 211-222 %T A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning. %U http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#JanhunenN93 %V 713 %@ 3-540-57184-1

@inproceedings{conf/kgc/JanhunenN93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Janhunen, Tomi and Niemelä, Ilkka}, biburl = {https://www.bibsonomy.org/bibtex/27c89d8cd31233bbf7d567c5fbf527ad9/dblp}, booktitle = {Kurt Gödel Colloquium}, crossref = {conf/kgc/1993}, editor = {Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele}, ee = {https://doi.org/10.1007/BFb0022570}, interhash = {f35426d6b658633e0c90b98c0f6df584}, intrahash = {7c89d8cd31233bbf7d567c5fbf527ad9}, isbn = {3-540-57184-1}, keywords = {dblp}, pages = {211-222}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:45:56.000+0200}, title = {A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#JanhunenN93}, volume = 713, year = 1993 }