Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs.
Jonas VlasselaerAngelika KimmigAnton DriesWannes MeertLuc De RaedtPublished in: AAAI Workshop: Beyond NP (2016)
Keyphrases
- model counting
- weighted model counting
- knowledge compilation
- probabilistic inference
- product configuration
- probabilistic logic programs
- bayesian inference
- polynomial size
- decomposable negation normal form
- probabilistic reasoning
- belief networks
- exact inference
- target language
- satisfiability testing
- graphical models
- cnf formula
- bayesian networks
- decision making