Transfinite Induction on Ordinal Configurations.
Luiz Paulo de AlcantaraWalter Alexandre CarnielliPublished in: Math. Log. Q. (1981)
Keyphrases
- inductive learning
- inductive inference
- constructive induction
- subgroup discovery
- sequence prediction
- program synthesis
- discovery process
- version space
- concept formation
- oblique decision trees
- information systems
- ordinal scale
- functional programs
- rank correlation
- rule induction
- explanation based learning
- inductive logic programming
- mobile robot
- domain knowledge
- search algorithm
- multiscale