A Decision procedure for Probability Calculus with Applications.

Branden Fitelson

Published in: Rev. Symb. Log. (2008)

Keyphrases

proof procedure
decision making
probability distribution
decision makers
decision rules
theorem proving
real world
search engine
knowledge representation
first order logic
propositional logic