Definability for model counting.

Jean-Marie Lagniez Emmanuel Lonca Pierre Marquis

Published in: Artif. Intell. (2020)

Keyphrases

model counting
propositional logic
satisfiability testing
weighted model counting
knowledge compilation
fixed point
propositional formulas
polynomial size
belief revision
first order logic
probabilistic inference
databases
bayesian inference