A Theorem Prover for a Computational Logic.
Robert S. BoyerJ. Strother MoorePublished in: CADE (1990)
Keyphrases
- theorem prover
- computational logic
- logic programming
- first order logic
- theorem proving
- inductive logic programming
- management science
- automated theorem proving
- inference rules
- multi agent systems
- early days
- term rewriting
- formal proof
- logic programs
- future directions
- artificial intelligence
- program synthesis
- natural deduction
- mathematical knowledge
- proof search
- agent technology
- modal logic
- knowledge management