Overview of a Theorem-Prover for A Computational Logic.
Robert S. BoyerJ. Strother MoorePublished in: CADE (1986)
Keyphrases
- theorem prover
- computational logic
- logic programming
- first order logic
- inductive logic programming
- theorem proving
- automated theorem proving
- term rewriting
- early days
- management science
- inference rules
- multi agent systems
- formal proof
- natural deduction
- knowledge base
- logic programs
- future directions
- program synthesis
- boolean algebra
- proof search
- probability distribution
- mathematical knowledge
- recent advances
- supply chain management
- decision support system
- programming language
- general purpose
- high level
- case study
- decision making