@InProceedings{DBLP:conf/kr/LakemeyerL14,
  Title                    = {Decidable Reasoning in a Fragment of the Epistemic Situation Calculus},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
 July 20-24, 2014},
  Year                     = {2014},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/kr/LakemeyerL14},
  Timestamp                = {Thu, 31 Jul 2014 10:24:17 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7990}
}

{"_id":"z5HKD8CJvbZeHv9X3","bibbaseid":"lakemeyer-levesque-decidablereasoninginafragmentoftheepistemicsituationcalculus-2014","downloads":0,"creationDate":"2018-03-11T21:26:24.901Z","title":"Decidable Reasoning in a Fragment of the Epistemic Situation Calculus","author_short":["Lakemeyer, G.","Levesque, H. J."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Decidable Reasoning in a Fragment of the Epistemic Situation Calculus","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014","year":"2014","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/kr/LakemeyerL14","timestamp":"Thu, 31 Jul 2014 10:24:17 +0200","url":"http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7990","bibtex":"@InProceedings{DBLP:conf/kr/LakemeyerL14,\n Title = {Decidable Reasoning in a Fragment of the Epistemic Situation Calculus},\n Author = {Gerhard Lakemeyer and\n Hector J. Levesque},\n Booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,\n July 20-24, 2014},\n Year = {2014},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/kr/LakemeyerL14},\n Timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},\n Url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7990}\n}\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"DBLP:conf/kr/LakemeyerL14","id":"DBLP:conf/kr/LakemeyerL14","bibbaseid":"lakemeyer-levesque-decidablereasoninginafragmentoftheepistemicsituationcalculus-2014","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7990"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["decidable","reasoning","fragment","epistemic","situation","calculus","lakemeyer","levesque"],"keywords":[],"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}