Reducing the Cost of Probabilistic Knowledge Compilation.

Peter J. F. Lucas Giso H. Dal Steffen Michels

Published in: AMBN (2017)

Keyphrases

knowledge compilation
logical inference
product configuration
decomposable negation normal form
prime implicates
bayesian networks
model counting
binary decision diagrams
normal form
logic programs
knowledge based systems
probabilistic reasoning