Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- reasoning problems
- quantified boolean formulas
- query containment
- conjunctive queries
- tight complexity bounds
- satisfiability problem
- integrity constraints
- first order logic
- knowledge representation
- query language
- special case
- expert systems
- database