A compositional approach to probabilistic knowledge compilation.
Giso H. DalAlfons W. LaarmanArjen HommersomPeter J. F. LucasPublished in: Int. J. Approx. Reason. (2021)
Keyphrases
- knowledge compilation
- logical inference
- product configuration
- decomposable negation normal form
- prime implicates
- model counting
- quantified boolean formulae
- polynomial size
- normal form
- databases
- probabilistic logic
- bayesian networks
- binary decision diagrams
- special case
- decision support system
- decision support
- data model
- database