Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory.

Norbert Lehmann

Published in: ECSQARU (2007)

Keyphrases

dempster shafer theory
ordered binary decision diagrams
belief functions
combination rule
fusion algorithm
deterministic finite automaton
model checking
constraint satisfaction problems
dempster shafer
quantified boolean formulae
image processing
expert systems
data fusion