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]

Abstract

Abstract is missing.