%0 Conference Paper %1 conf/kgc/Halpern93 %A Halpern, Joseph Y. %B Kurt Gödel Colloquium %D 1993 %E Gottlob, Georg %E Leitsch, Alexander %E Mundici, Daniele %I Springer %K dblp %P 43-60 %T A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. %U http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#Halpern93 %V 713 %@ 3-540-57184-1

@inproceedings{conf/kgc/Halpern93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Halpern, Joseph Y.}, biburl = {https://www.bibsonomy.org/bibtex/2a03de869a4d218f15fabcdc78814d973/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/BFb0022551}, interhash = {bfb0bce5517d1e74faa388dec1acd4f9}, intrahash = {a03de869a4d218f15fabcdc78814d973}, isbn = {3-540-57184-1}, keywords = {dblp}, pages = {43-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:45:56.000+0200}, title = {A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.}, url = {http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#Halpern93}, volume = 713, year = 1993 }