Login / Signup
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas.
Uwe Egly
Thomas Eiter
Hans Tompits
Stefan Woltran
Published in:
AAAI/IAAI (2000)
Keyphrases
</>
reasoning tasks
quantified boolean formulas
description logics
logic programming
temporal reasoning
automated reasoning
answer set programming
situation calculus
decision procedures
knowledge base
combinatorial optimization
stochastic local search
propositional satisfiability