Structure-Generating First-Order Theorem Proving.
Christoph WernhardPublished in: AReCCa@TABLEAUX (2023)
Keyphrases
- theorem proving
- first order logic
- term rewriting
- theorem prover
- automated deduction
- automated reasoning
- predicate calculus
- consequence finding
- decision procedures
- inference rules
- proof planning
- proof procedure
- logical inference
- automatic programming
- horn clauses
- distributed search
- probabilistic reasoning
- knowledge representation
- artificial intelligence
- geometry theorem proving
- quantifier elimination
- automated theorem proving
- simulated annealing
- knowledge base