A Complete Deductive System for Probability Logic.

Published in: J. Log. Comput. (2009)

Keyphrases

probability theory
probability distribution
deductive reasoning
modal logic
quantum computation
bayesian networks
logic programming
predicate logic
real time
decision trees
case study
multi agent
conditional probabilities
multi valued
propositional variables