Variable Elimination and Chaining in a Resolution-based Prover for Inequalities.

W. W. Bledsoe Larry M. Hines

Published in: CADE (1980)

Keyphrases

variable elimination
inference in bayesian networks
probabilistic inference
bayesian networks
belief networks
sufficient conditions
theorem prover
high resolution
theorem proving
dynamic programming
probability distribution
higher order
graphical models
belief revision
approximate inference