Bounded-Overhead Caching for Definite-Clause Theorem Proving.
Alberto M. SegreDaniel ScharsteinPublished in: J. Autom. Reason. (1993)
Keyphrases
- theorem proving
- definite clause
- first order logic
- inductive logic programming
- pac learnability
- automated deduction
- decision procedures
- automated reasoning
- logic programs
- proof planning
- theorem prover
- automatic programming
- parallel search
- proof procedure
- term rewriting
- inference rules
- logical inference
- query processing
- consequence finding
- geometry theorem proving
- automated theorem proving
- context free grammars
- combinatorial search
- proof search
- natural deduction
- distributed search
- knowledge representation