A Logic to Reason about Likelihood

Joseph Y. Halpern Michael O. Rabin

Published in: STOC (1983)

Keyphrases

maximum likelihood
classical logic
logic programming
modal logic
asynchronous circuits
proof theory
automated reasoning
logical framework
likelihood ratio
database
data sets
computational properties
truth values
deontic logic
deductive reasoning