Some observations on the logical foundations of inductive theorem proving.
Stefan HetzlTin Lok WongPublished in: Log. Methods Comput. Sci. (2017)
Keyphrases
- theorem proving
- logical foundations
- first order logic
- theorem prover
- automated deduction
- active databases
- decision procedures
- proof planning
- term rewriting
- parallel search
- automatic programming
- automated reasoning
- inference rules
- consequence finding
- automated theorem proving
- proof procedure
- knowledge representation
- combinatorial search
- machine learning
- geometry theorem proving
- logical inference
- predicate calculus
- proof search
- propositional logic
- intelligent agents
- expert systems
- information systems