An Inductive Theorem Prover Based on Narrowing.
Ulrich FrausHeinrich HußmannPublished in: LPAR (1992)
Keyphrases
- theorem prover
- theorem proving
- first order logic
- inductive logic programming
- term rewriting
- automated reasoning
- automated theorem proving
- computer algebra
- inductive learning
- inference rules
- automated deduction
- formal semantics
- machine learning
- natural deduction
- higher order logic
- formal proof
- inductive inference
- boolean algebra
- timed automata
- computer algebra systems
- functional programs
- predicate calculus
- proof planning
- knowledge representation
- evolutionary algorithm