A First-Order Logic of Probability and Only Knowing in Unbounded Domains

Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque. A First-Order Logic of Probability and Only Knowing in Unbounded Domains. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 893-899, AAAI Press, 2016. [doi]

@inproceedings{BelleLL16,
  title = {A First-Order Logic of Probability and Only Knowing in Unbounded Domains},
  author = {Vaishak Belle and Gerhard Lakemeyer and Hector J. Levesque},
  year = {2016},
  url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12271},
  researchr = {https://researchr.org/publication/BelleLL16},
  cites = {0},
  citedby = {0},
  pages = {893-899},
  booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA},
  editor = {Dale Schuurmans and Michael P. Wellman},
  publisher = {AAAI Press},
}