Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- reasoning problems
- conjunctive queries
- temporal logic
- inference rules
- model theoretic
- quantified boolean formulas
- databases
- satisfiability problem
- presburger arithmetic
- theorem prover
- query answering
- query evaluation
- data exchange
- expressive power
- search algorithm
- machine learning