Representing and reasoning with probabilistic knowledge a logical approach to probabilities - Bacchus, Fahiem (The MIT Press, 1990)