The Probability-Truth degree of uncertain Propositional Formula.

Xingfang Zhang Guangwu Meng

Published in: QLSC (2012)

Keyphrases

propositional formulas
propositional logic
propositional variables
pseudo boolean constraints
probability distribution
normal form
quantified boolean formulae
belief revision
truth values
database
conjunctive normal form
model counting