Counting Complexity of Propositional Abduction.

Miki Hermann Reinhard Pichler

Published in: IJCAI (2007)

Keyphrases

database
computational complexity
polynomial hierarchy
first order logic
belief revision
propositional logic
space complexity
propositional knowledge base
machine learning
computational cost
worst case
decision problems
pspace complete
propositional formulas
causal networks