Introducing Iteration into the Pure Lisp Theorem Prover.
J. Strother MoorePublished in: IEEE Trans. Software Eng. (1975)
Keyphrases
- theorem prover
- learning theory
- theorem proving
- automated reasoning
- first order logic
- inference rules
- formal proof
- computer algebra
- automated theorem proving
- automated deduction
- term rewriting
- programming language
- higher order logic
- formal semantics
- natural deduction
- knowledge representation
- proof search
- objective function
- computer programs
- modal logic
- timed automata
- supervised learning
- search algorithm
- artificial intelligence