@inproceedings{DBLP:conf/tark/McCarthy86,
  author    = {John McCarthy},
  editor    = {Joseph Y. Halpern},
  title     = {Mental Situation Calculus},
  booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, USA, March 1986},
  pages     = {307--308},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  timestamp = {Thu, 21 Jun 2018 07:50:24 +0200},
  biburl    = {https://dblp.org/rec/conf/tark/McCarthy86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wBiwWu7jcrLRoobDM","bibbaseid":"mccarthy-mentalsituationcalculus-1986","downloads":0,"creationDate":"2015-09-08T15:38:36.095Z","title":"Mental Situation Calculus","author_short":["McCarthy, J."],"year":1986,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/JohnMcCarthy.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["John"],"propositions":[],"lastnames":["McCarthy"],"suffixes":[]}],"editor":[{"firstnames":["Joseph","Y."],"propositions":[],"lastnames":["Halpern"],"suffixes":[]}],"title":"Mental Situation Calculus","booktitle":"Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986","pages":"307–308","publisher":"Morgan Kaufmann","year":"1986","timestamp":"Thu, 21 Jun 2018 07:50:24 +0200","biburl":"https://dblp.org/rec/conf/tark/McCarthy86.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tark/McCarthy86,\n author = {John McCarthy},\n editor = {Joseph Y. Halpern},\n title = {Mental Situation Calculus},\n booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning\n about Knowledge, Monterey, CA, USA, March 1986},\n pages = {307--308},\n publisher = {Morgan Kaufmann},\n year = {1986},\n timestamp = {Thu, 21 Jun 2018 07:50:24 +0200},\n biburl = {https://dblp.org/rec/conf/tark/McCarthy86.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["McCarthy, J."],"editor_short":["Halpern, J. Y."],"key":"DBLP:conf/tark/McCarthy86","id":"DBLP:conf/tark/McCarthy86","bibbaseid":"mccarthy-mentalsituationcalculus-1986","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"search_terms":["mental","situation","calculus","mccarthy"],"keywords":[],"authorIDs":[],"dataSources":["e3DPfiLXyfZxic3k2","WEXdHJsSBaZgKxqy4"]}