//-->
Bayesian logic
Andersen, K.A., (1994)
Determining Lower and Uper Bounds on Probabilities of Logical Formulas Represented by Digraphs.
A Linear Programming Pramework for Logics of Uncertainty.
Andersen, K.A., (1992)