Complexity for probability logic with quantifiers over propositions.

Stanislav O. Speranski

Published in: J. Log. Comput. (2013)

Keyphrases

probability theory
real time
quantum computation
computational complexity
probability distribution
predicate logic
complexity analysis
logic programming
proof theory
asynchronous circuits
formal theory
space complexity
worst case
np hard
website
artificial intelligence
databases