@inproceedings{DBLP:conf/aaai/BelleLL16,
  author       = {Vaishak Belle and
                  Gerhard Lakemeyer and
                  Hector J. Levesque},
  editor       = {Dale Schuurmans and
                  Michael P. Wellman},
  title        = {A First-Order Logic of Probability and Only Knowing in Unbounded Domains},
  booktitle    = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
                  February 12-17, 2016, Phoenix, Arizona, {USA}},
  pages        = {893--899},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/aaai.v30i1.10108},
  doi          = {10.1609/AAAI.V30I1.10108},
  timestamp    = {Mon, 04 Sep 2023 15:08:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BelleLL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"iKBWDaHmmtH8mKSra","bibbaseid":"belle-lakemeyer-levesque-afirstorderlogicofprobabilityandonlyknowinginunboundeddomains-2016","downloads":0,"creationDate":"2016-02-21T15:04:52.803Z","title":"A First-Order Logic of Probability and Only Knowing in Unbounded Domains","author_short":["Belle, V.","Lakemeyer, G.","Levesque, H. J."],"year":2016,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"editor":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Schuurmans"],"suffixes":[]},{"firstnames":["Michael","P."],"propositions":[],"lastnames":["Wellman"],"suffixes":[]}],"title":"A First-Order Logic of Probability and Only Knowing in Unbounded Domains","booktitle":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA","pages":"893–899","publisher":"AAAI Press","year":"2016","url":"https://doi.org/10.1609/aaai.v30i1.10108","doi":"10.1609/AAAI.V30I1.10108","timestamp":"Mon, 04 Sep 2023 15:08:28 +0200","biburl":"https://dblp.org/rec/conf/aaai/BelleLL16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/BelleLL16,\n author = {Vaishak Belle and\n Gerhard Lakemeyer and\n Hector J. Levesque},\n editor = {Dale Schuurmans and\n Michael P. Wellman},\n title = {A First-Order Logic of Probability and Only Knowing in Unbounded Domains},\n booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,\n February 12-17, 2016, Phoenix, Arizona, {USA}},\n pages = {893--899},\n publisher = {{AAAI} Press},\n year = {2016},\n url = {https://doi.org/10.1609/aaai.v30i1.10108},\n doi = {10.1609/AAAI.V30I1.10108},\n timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/BelleLL16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V.","Lakemeyer, G.","Levesque, H. J."],"editor_short":["Schuurmans, D.","Wellman, M. P."],"key":"DBLP:conf/aaai/BelleLL16","id":"DBLP:conf/aaai/BelleLL16","bibbaseid":"belle-lakemeyer-levesque-afirstorderlogicofprobabilityandonlyknowinginunboundeddomains-2016","role":"author","urls":{"Paper":"https://doi.org/10.1609/aaai.v30i1.10108"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=www.cs.toronto.edu/kr/publications/list.bib&group0=year&filter=authors:Belle"}},"downloads":0},"search_terms":["first","order","logic","probability","knowing","unbounded","domains","belle","lakemeyer","levesque"],"keywords":[],"authorIDs":["54575ce32abc8e9f37000307","545792562abc8e9f37000523","545aa113b43425b77200103d","5da9a083452932db010000be","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","5e60e839839e59df010000ed","RmQT3J2e7NKqkbbbe","vsrgwisAvsx5co5Zd"],"dataSources":["2LLKDfkxMDdABm58M","r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","dqRQPSg6Hy3ZXQg7z","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}