Automation of Mathematical Induction as part of the History of Logic.
J. Strother MooreClaus-Peter WirthPublished in: FLAP (2017)
Keyphrases
- computer algebra
- proof search
- logic programming
- inductive learning
- classical logic
- modal logic
- mathematical theory
- nonmonotonic logics
- automated reasoning
- functional programs
- multi valued
- mathematical expressions
- real time
- intuitionistic logic
- sound and complete axiomatization
- epistemic logic
- historical information
- computational properties
- constructive induction
- concept formation
- logical framework
- subgroup discovery
- mathematical models
- feature selection
- genetic algorithm
- data sets