Keyphrases
- theorem proving
- inductive learning
- machine learning
- inductive logic programming
- horn clauses
- rule induction
- real world
- theorem prover
- equational theories
- sequence prediction
- program synthesis
- constructive induction
- concept learning
- natural language
- computer vision
- inference rules
- first order logic
- version space
- concept formation
- three dimensional
- inductive reasoning
- feature selection
- oblique decision trees