EM over Binary Decision Diagrams for Probabilistic Logic Programs.

Elena Bellodi Fabrizio Riguzzi

Published in: CILC (2011)

Keyphrases

binary decision diagrams
probabilistic logic programs
boolean functions
symbolic model checking
expectation maximization
planning problems
logic programming
variable ordering
model checking
generative model
probabilistic logic
knowledge compilation
artificial intelligence
probabilistic model
relational databases