Milestones from the Pure Lisp theorem prover to ACL2.
J. Strother MoorePublished in: Formal Aspects Comput. (2019)
Keyphrases
- theorem prover
- learning theory
- theorem proving
- first order logic
- computer algebra
- term rewriting
- automated reasoning
- inference rules
- automated deduction
- programming language
- automated theorem proving
- natural language learning
- formal proof
- knowledge representation
- timed automata
- higher order logic
- computer algebra systems
- natural deduction
- formal semantics
- boolean algebra
- multi agent
- feature selection