Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment.
Mark D. AagaardRobert B. JonesCarl-Johan H. SegerPublished in: DAC (1998)
Keyphrases
- theorem proving
- industrial environment
- theorem prover
- proof planning
- first order logic
- decision procedures
- automated reasoning
- inference rules
- parallel search
- term rewriting
- automatic programming
- proof procedure
- logical inference
- automated deduction
- predicate calculus
- data mining
- consequence finding
- automated theorem proving
- artificial intelligence
- combinatorial search
- distributed search
- expert systems
- training data
- machine learning