Scaling up Probabilistic Inference in Linear and Non-linear Hybrid Domains by Leveraging Knowledge Compilation.
Anton FuxjaegerVaishak BellePublished in: ICAART (2) (2020)
Keyphrases
- probabilistic inference
- knowledge compilation
- logical inference
- weighted model counting
- model counting
- product configuration
- bayesian networks
- graphical models
- belief networks
- conditional probabilities
- message passing
- probabilistic reasoning
- prime implicates
- normal form
- decomposable negation normal form
- decision support
- probabilistic model
- knowledge acquisition
- special case
- training set