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

by J Y Halpern
Venue:Artificial Intelligence