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

Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque

Browse the full AAAI paper archive.