meaningfulness measure and resolution theorem proving.
Joseph S. FuldaKevin de FontesPublished in: J. Exp. Theor. Artif. Intell. (1989)
Keyphrases
- theorem proving
- consequence finding
- theorem prover
- first order logic
- inference rules
- automated reasoning
- decision procedures
- term rewriting
- parallel search
- proof planning
- automated theorem proving
- proof procedure
- automated deduction
- automatic programming
- predicate calculus
- logical inference
- geometry theorem proving
- machine learning
- equational theories
- combinatorial search
- proof search
- distributed search
- artificial intelligence