Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas.
Alan SkelleyPublished in: ICALP (2004)
Keyphrases
- quantified boolean formulas
- reasoning tasks
- decision procedures
- boolean formula
- automated reasoning
- quantified boolean formulae
- description logics
- answer set programming
- universally quantified
- temporal reasoning
- answer sets
- knowledge representation
- logic programming
- boolean functions
- theorem proving
- first order logic
- linear constraints
- np complete
- propositional logic
- practical problems
- modal logic
- situation calculus
- pspace complete
- horn clauses
- knowledge base
- propositional satisfiability
- fixpoint
- theorem prover
- orders of magnitude
- logic programs
- sat solvers