Complete Problems of Propositional Logic for the Exponential Hierarchy.

Published in: CoRR (2016)

Keyphrases

propositional logic
belief revision
satisfiability testing
first order logic
propositional satisfiability
propositional formulas
optimization problems
belief change
propositional variables
quantified boolean formulae
machine learning
lower bound
expert systems
possibilistic logic
solving hard