Validated Proof-Producing Decision Procedures.
Robert KlapperAaron StumpPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- decision procedures
- theorem proving
- modal logic
- automated reasoning
- reasoning problems
- theorem prover
- model theoretic
- first order logic
- conjunctive queries
- presburger arithmetic
- inference rules
- query containment
- temporal logic
- search algorithm
- artificial intelligence
- data mining
- quantified boolean formulas
- databases