Keyphrases
- theorem prover
- inductive learning
- mathematical knowledge
- machine learning
- explanation based learning
- subgroup discovery
- constructive induction
- mathematical theory
- mathematical expressions
- computer vision
- database systems
- inductive logic programming
- mathematical models
- rule induction
- concept formation
- computer algebra