Reasoning about Uncertainty door Joseph Y. Halpern & Joseph Halpern