A structural approach to reasoning with quantified Boolean formulas.
Luca PulinaArmando TacchellaPublished in: RCRA@AI*IA (2009)
Keyphrases
- quantified boolean formulas
- reasoning tasks
- automated reasoning
- description logics
- decision procedures
- logic programming
- temporal reasoning
- situation calculus
- answer set programming
- universally quantified
- machine learning
- knowledge base
- knowledge representation
- artificial intelligence
- expert systems
- decision problems