Relating Resolution and Algebraic Completion for Horn Logic.

Roland Dietrich

Published in: CADE (1986)

Keyphrases

horn logic
propositional logic
belief change
high resolution
training data
bayesian networks
multi agent
probability distribution