An analysis of first-order logics of probability (1990)

by J Halpern
Venue:Artificial Intelligence