%0 Conference Paper %1 conf/tark/Lakemeyer86 %A Lakemeyer, Gerhard %B TARK %D 1986 %E Halpern, Joseph Y. %I Morgan Kaufmann %K dblp %P 325-340 %T Steps Towards a First-Order Logic of Explicit and Implicit Belief. %U http://dblp.uni-trier.de/db/conf/tark/tark1986.html#Lakemeyer86 %@ 0-934613-04-4

@inproceedings{conf/tark/Lakemeyer86, added-at = {2002-03-05T00:00:00.000+0100}, author = {Lakemeyer, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/2f6f79099085ce748ccaee036e45149dc/dblp}, booktitle = {TARK}, crossref = {conf/tark/1986}, editor = {Halpern, Joseph Y.}, interhash = {d81767ecfc70755099af900c8d41385d}, intrahash = {f6f79099085ce748ccaee036e45149dc}, isbn = {0-934613-04-4}, keywords = {dblp}, pages = {325-340}, publisher = {Morgan Kaufmann}, timestamp = {2018-06-22T11:44:53.000+0200}, title = {Steps Towards a First-Order Logic of Explicit and Implicit Belief.}, url = {http://dblp.uni-trier.de/db/conf/tark/tark1986.html#Lakemeyer86}, year = 1986 }