A Structural Approach to Reasoning with Quantified Boolean Formulas.
Luca PulinaArmando TacchellaPublished in: IJCAI (2009)
Keyphrases
- quantified boolean formulas
- reasoning tasks
- automated reasoning
- decision procedures
- logic programming
- temporal reasoning
- knowledge base
- universally quantified
- description logics
- propositional satisfiability
- answer set programming
- logic programs
- programming language
- knowledge representation
- natural language
- machine learning
- orders of magnitude
- search algorithm
- bayesian networks
- artificial intelligence