Efficient computation of the degree of belief in a propositional theory.

Carlos Guillén Guillermo De Ita Luna Aurelio López-López

Published in: LA-NMR (2008)

Keyphrases

efficient computation
belief functions
truth maintenance systems
computational efficiency
aggregate queries
window search
propositional logic
probability theory
databases
data structure
pairwise
first order logic
database
data sets