Expectation maximization over binary decision diagrams for probabilistic logic programs.
Elena BellodiFabrizio RiguzziPublished in: Intell. Data Anal. (2013)
Keyphrases
- binary decision diagrams
- expectation maximization
- probabilistic logic programs
- em algorithm
- boolean functions
- symbolic model checking
- probabilistic model
- variable ordering
- maximum likelihood
- logic programming
- planning problems
- generative model
- probabilistic logic
- image segmentation
- knowledge compilation
- model checking
- k means
- domain independent
- database design
- search space
- database systems
- data mining