@InProceedings{DBLP:conf/ijcai/LakemeyerL13,
  Title                    = {Decidable Reasoning in a Logic of Limited Belief with Introspection
 and Unknown Individuals},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
 on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  Year                     = {2013},
  Pages                    = {969--975},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/LakemeyerL13},
  Timestamp                = {Wed, 20 Jul 2016 15:16:56 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6638}
}

{"_id":{"_str":"5236689fa82c5cba2300001b"},"__v":0,"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"author_short":["Lakemeyer, G.","Levesque, H. J."],"bibbaseid":"lakemeyer-levesque-decidablereasoninginalogicoflimitedbeliefwithintrospectionandunknownindividuals-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"booktitle":"IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013","year":"2013","pages":"969–975","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/ijcai/LakemeyerL13","timestamp":"Wed, 20 Jul 2016 15:16:56 +0200","url":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6638","bibtex":"@InProceedings{DBLP:conf/ijcai/LakemeyerL13,\n Title = {Decidable Reasoning in a Logic of Limited Belief with Introspection\n and Unknown Individuals},\n Author = {Gerhard Lakemeyer and\n Hector J. Levesque},\n Booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference\n on Artificial Intelligence, Beijing, China, August 3-9, 2013},\n Year = {2013},\n Pages = {969--975},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/ijcai/LakemeyerL13},\n Timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},\n Url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6638}\n}\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"DBLP:conf/ijcai/LakemeyerL13","id":"DBLP:conf/ijcai/LakemeyerL13","bibbaseid":"lakemeyer-levesque-decidablereasoninginalogicoflimitedbeliefwithintrospectionandunknownindividuals-2013","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6638"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"search_terms":["decidable","reasoning","logic","limited","belief","introspection","unknown","individuals","lakemeyer","levesque"],"title":"Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals","year":2013,"keywords":[],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}