Computational Hardness of Validity in Probability Logic.

Published in: LFCS (2013)

Keyphrases

probability theory
computational complexity
logic programming
neural network
np hard
asynchronous circuits
quantum computation
ctl model update
databases
probability distribution
automated reasoning
special case
modal logic
learning theory
predicate logic