Resolution-Like Theorem Proving for High-Level Conditions.
Karl-Heinz PennemannPublished in: ICGT (2008)
Keyphrases
- theorem proving
- consequence finding
- high level
- first order logic
- low level
- decision procedures
- term rewriting
- theorem prover
- automated reasoning
- automated deduction
- proof procedure
- proof planning
- inference rules
- parallel search
- logical inference
- automatic programming
- sufficient conditions
- geometry theorem proving
- distributed search
- predicate calculus
- lower level
- automated theorem proving
- artificial intelligence
- probabilistic model
- combinatorial search
- programming language
- training data
- intelligent agents