Unifying Logical and Statistical AI
Probabilistic reasoning in intelligent systems: Networks of plausible inference