@InProceedings{DBLP:conf/kr/LakemeyerL16,
  Title                    = {Decidable Reasoning in a Logic of Limited Belief with Function Symbols},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Fifteenth International Conference, {KR} 2016, Cape Town, South
 Africa, April 25-29, 2016.},
  Year                     = {2016},
  Pages                    = {288--297},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/kr/LakemeyerL16},
  Timestamp                = {Thu, 21 Apr 2016 20:01:05 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12912}
}

{"_id":"f3Amx6wqtYuTtBw5c","bibbaseid":"lakemeyer-levesque-decidablereasoninginalogicoflimitedbeliefwithfunctionsymbols-2016","downloads":3,"creationDate":"2017-04-05T15:35:14.108Z","title":"Decidable Reasoning in a Logic of Limited Belief with Function Symbols","author_short":["Lakemeyer, G.","Levesque, H. J."],"year":2016,"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Decidable Reasoning in a Logic of Limited Belief with Function Symbols","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016.","year":"2016","pages":"288–297","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/kr/LakemeyerL16","timestamp":"Thu, 21 Apr 2016 20:01:05 +0200","url":"http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12912","bibtex":"@InProceedings{DBLP:conf/kr/LakemeyerL16,\n Title = {Decidable Reasoning in a Logic of Limited Belief with Function Symbols},\n Author = {Gerhard Lakemeyer and\n Hector J. Levesque},\n Booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Fifteenth International Conference, {KR} 2016, Cape Town, South\n Africa, April 25-29, 2016.},\n Year = {2016},\n Pages = {288--297},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/kr/LakemeyerL16},\n Timestamp = {Thu, 21 Apr 2016 20:01:05 +0200},\n Url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12912}\n}\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"DBLP:conf/kr/LakemeyerL16","id":"DBLP:conf/kr/LakemeyerL16","bibbaseid":"lakemeyer-levesque-decidablereasoninginalogicoflimitedbeliefwithfunctionsymbols-2016","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12912"},"metadata":{"authorlinks":{}},"downloads":3},"search_terms":["decidable","reasoning","logic","limited","belief","function","symbols","lakemeyer","levesque"],"keywords":[],"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"dataSources":["2LLKDfkxMDdABm58M","dqRQPSg6Hy3ZXQg7z","optQ3PYGE2PxhriFJ"]}