@proceedings{DBLP:conf/tark/1988,
  editor    = {Moshe Y. Vardi},
  title     = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1988},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-66-4},
  timestamp = {Tue, 05 Mar 2002 10:42:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tark/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NeE2fJ8kTzjQ5qpLr","bibbaseid":"vardi-proceedingsofthe2ndconferenceontheoreticalaspectsofreasoningaboutknowledgepacificgrovecamarch1988-1988","downloads":0,"creationDate":"2018-03-11T21:26:25.081Z","title":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988","author_short":null,"year":1988,"bibtype":"proceedings","biburl":"http://dblp.org/pid/l/HJLevesque.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Moshe","Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]}],"title":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988","publisher":"Morgan Kaufmann","year":"1988","isbn":"0-934613-66-4","timestamp":"Tue, 05 Mar 2002 10:42:28 +0100","biburl":"https://dblp.org/rec/bib/conf/tark/1988","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/tark/1988,\n editor = {Moshe Y. Vardi},\n title = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning\n about Knowledge, Pacific Grove, CA, March 1988},\n publisher = {Morgan Kaufmann},\n year = {1988},\n isbn = {0-934613-66-4},\n timestamp = {Tue, 05 Mar 2002 10:42:28 +0100},\n biburl = {https://dblp.org/rec/bib/conf/tark/1988},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Vardi, M. Y."],"key":"DBLP:conf/tark/1988","id":"DBLP:conf/tark/1988","bibbaseid":"vardi-proceedingsofthe2ndconferenceontheoreticalaspectsofreasoningaboutknowledgepacificgrovecamarch1988-1988","role":"editor","urls":{},"downloads":0,"html":""},"search_terms":["proceedings","2nd","conference","theoretical","aspects","reasoning","knowledge","pacific","grove","march","1988"],"keywords":[],"authorIDs":[],"dataSources":["gspKmHaNpkSg46fLf"]}