Keyphrases
- modal logic
- theorem proving
- inference rules
- decision procedures
- temporal logic
- theorem prover
- automated reasoning
- automated deduction
- epistemic logic
- first order logic
- parallel search
- automatic programming
- logical framework
- classical logic
- conditional logic
- proof planning
- term rewriting
- logical inference
- default logic
- geometry theorem proving
- model checking
- proof procedure
- nonmonotonic logics
- consequence finding
- combinatorial search
- automated theorem proving
- prime implicates
- abductive reasoning
- dynamic logic
- proof search
- explanation based generalization
- logic programs
- relational databases
- equational theories
- training data