First-order theorem proving: Foreword.
Nicolas PeltierViorica Sofronie-StokkermansPublished in: J. Symb. Comput. (2012)
Keyphrases
- theorem proving
- first order logic
- term rewriting
- theorem prover
- predicate calculus
- inference rules
- automated reasoning
- automated deduction
- propositional logic
- probabilistic reasoning
- decision procedures
- automated theorem proving
- knowledge representation
- proof procedure
- parallel search
- automatic programming
- horn clauses
- geometry theorem proving
- proof planning
- combinatorial search
- proof search
- distributed search
- consequence finding
- quantifier elimination
- data mining
- function symbols
- logical inference
- model theoretic