@inproceedings{DBLP:conf/ijcai/LakemeyerL19,
  author    = {Gerhard Lakemeyer and
               Hector J. Levesque},
  title     = {A Tractable, Expressive, and Eventually Complete First-Order Logic
               of Limited Belief},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
               2019},
  pages     = {1764--1771},
  year      = {2019},
  url       = {https://doi.org/10.24963/ijcai.2019/244},
  doi       = {10.24963/ijcai.2019/244},
  timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/LakemeyerL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"yYx6fSW8Dw6x8yoGL","bibbaseid":"lakemeyer-levesque-atractableexpressiveandeventuallycompletefirstorderlogicoflimitedbelief-2019","authorIDs":[],"author_short":["Lakemeyer, G.","Levesque, H. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"title":"A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief","booktitle":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019","pages":"1764–1771","year":"2019","url":"https://doi.org/10.24963/ijcai.2019/244","doi":"10.24963/ijcai.2019/244","timestamp":"Tue, 20 Aug 2019 16:18:18 +0200","biburl":"https://dblp.org/rec/conf/ijcai/LakemeyerL19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/LakemeyerL19,\n author = {Gerhard Lakemeyer and\n Hector J. Levesque},\n title = {A Tractable, Expressive, and Eventually Complete First-Order Logic\n of Limited Belief},\n booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,\n 2019},\n pages = {1764--1771},\n year = {2019},\n url = {https://doi.org/10.24963/ijcai.2019/244},\n doi = {10.24963/ijcai.2019/244},\n timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"DBLP:conf/ijcai/LakemeyerL19","id":"DBLP:conf/ijcai/LakemeyerL19","bibbaseid":"lakemeyer-levesque-atractableexpressiveandeventuallycompletefirstorderlogicoflimitedbelief-2019","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2019/244"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","creationDate":"2019-11-27T23:06:44.215Z","downloads":0,"keywords":[],"search_terms":["tractable","expressive","eventually","complete","first","order","logic","limited","belief","lakemeyer","levesque"],"title":"A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief","year":2019,"dataSources":["LNdMWtwHexeaM7uMZ","dqRQPSg6Hy3ZXQg7z"]}