J. Y. Halpern and M. O. Rabin (1987): A Logic to Reason about Likelihood
Title:
A Logic to Reason about Likelihood
Author(s):
J. Y. Halpern and M. O. Rabin
Year:
1987
Journal:
Artificial Intelligence
Volume:
32
Pages:
379-405
Concepts
