Well-founded induction and the invariance theorem for loops.
Joseph M. MorrisPublished in: Inf. Process. Lett. (1989)
Keyphrases
- inductive learning
- data sets
- inductive reasoning
- subgroup discovery
- machine learning
- von neumann
- inductive logic programming
- discriminative power
- program synthesis
- view invariant action recognition
- database
- invariant recognition
- invariant properties
- concept formation
- version space
- rule induction
- explanation based learning
- invariant features
- input image
- control system
- object recognition
- information systems
- social networks
- learning algorithm