Evaluating the Uncertainty of a Boolean Formula with Belief Functions.

Christelle Jacob Didier Dubois Janette Cardoso

Published in: IPMU (3) (2012)

Keyphrases

belief functions
boolean formula
dempster shafer
dempster shafer theory
probability theory
evidential reasoning
sat solvers
uncertain information
combination rule
markov tree
np complete
sat instances
binary decision diagrams
conjunctive normal form
expert systems