Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language.
Seyed Mehran KazemiDavid PoolePublished in: KR (2016)
Keyphrases
- probabilistic inference
- knowledge compilation
- decomposable negation normal form
- logical inference
- target language
- product configuration
- graphical models
- weighted model counting
- bayesian networks
- model counting
- conditional probabilities
- machine translation
- prime implicates
- probabilistic reasoning
- message passing
- natural language
- belief networks
- normal form
- exact inference
- knowledge based systems
- cnf formula
- polynomial size
- expert systems
- decision problems
- training data