Keyphrases
- decision procedures
- theorem proving
- modal logic
- automated reasoning
- conjunctive queries
- model theoretic
- reasoning problems
- optimal solution
- description logics
- satisfiability problem
- presburger arithmetic
- database
- quantified boolean formulas
- integrity constraints
- data management
- artificial intelligence
- machine learning
- databases