Lifted Probabilistic Inference by First-Order Knowledge Compilation.
Guy Van den BroeckNima TaghipourWannes MeertJesse DavisLuc De RaedtPublished in: IJCAI (2011)
Keyphrases
- probabilistic inference
- knowledge compilation
- polynomial size
- product configuration
- weighted model counting
- model counting
- decomposable negation normal form
- graphical models
- logical inference
- first order logic
- bayesian networks
- belief networks
- message passing
- conditional probabilities
- prime implicates
- probabilistic reasoning
- higher order
- normal form
- exact inference
- binary decision diagrams
- markov random field
- pairwise
- image segmentation
- random variables
- constraint satisfaction problems