Transfinite Induction within Peano Arithmetic.
Richard SommerPublished in: Ann. Pure Appl. Log. (1995)
Keyphrases
- floating point
- rule induction
- neural network
- sequence prediction
- inductive learning
- inductive inference
- machine learning
- space filling curves
- knowledge acquisition
- concept learning
- constructive induction
- attribute oriented
- functional programs
- concept formation
- version space
- subgroup discovery
- learning environment
- knowledge base
- computer vision
- real world