Skolemization for Weighted First-Order Model Counting.

Guy Van den Broeck Wannes Meert Adnan Darwiche

Published in: KR (2014)

Keyphrases

model counting
polynomial size
weighted model counting
knowledge compilation
first order logic
satisfiability testing
boolean functions
probabilistic inference
learning algorithm
database systems
bayesian inference
dnf formulas