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

by J Y Halpern
Venue:Artificial Intelligence