@inproceedings{DBLP:conf/tark/RivieresL86,
  author    = {Jim des Rivi{\`{e}}res and
               Hector J. Levesque},
  title     = {The Consistency of Syntactical Treatments of Knowledge},
  booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, USA, March 1986},
  pages     = {115--130},
  year      = {1986},
  crossref  = {DBLP:conf/tark/1986},
  timestamp = {Thu, 21 Jun 2018 07:50:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tark/RivieresL86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":{"_str":"52366a7ed0cc4d862500000f"},"__v":0,"authorIDs":[],"author_short":["des Rivières, J.","Levesque, H. J."],"bibbaseid":"desrivires-levesque-theconsistencyofsyntacticaltreatmentsofknowledge-1986","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jim"],"propositions":["des"],"lastnames":["Rivières"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"title":"The Consistency of Syntactical Treatments of Knowledge","booktitle":"Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986","pages":"115–130","year":"1986","crossref":"DBLP:conf/tark/1986","timestamp":"Thu, 21 Jun 2018 07:50:24 +0200","biburl":"https://dblp.org/rec/bib/conf/tark/RivieresL86","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tark/RivieresL86,\n author = {Jim des Rivi{\\`{e}}res and\n Hector J. Levesque},\n title = {The Consistency of Syntactical Treatments of Knowledge},\n booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning\n about Knowledge, Monterey, CA, USA, March 1986},\n pages = {115--130},\n year = {1986},\n crossref = {DBLP:conf/tark/1986},\n timestamp = {Thu, 21 Jun 2018 07:50:24 +0200},\n biburl = {https://dblp.org/rec/bib/conf/tark/RivieresL86},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["des Rivières, J.","Levesque, H. J."],"key":"DBLP:conf/tark/RivieresL86","id":"DBLP:conf/tark/RivieresL86","bibbaseid":"desrivires-levesque-theconsistencyofsyntacticaltreatmentsofknowledge-1986","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/l/HJLevesque.bib","downloads":0,"search_terms":["consistency","syntactical","treatments","knowledge","des rivières","levesque"],"title":"The Consistency of Syntactical Treatments of Knowledge","year":1986,"keywords":[],"dataSources":["LNdMWtwHexeaM7uMZ"]}