Selection functions, bar recursion and backward induction.
Martín Hötzel EscardóPaulo OlivaPublished in: Math. Struct. Comput. Sci. (2010)
Keyphrases
- machine learning
- data sets
- concept formation
- inductive learning
- inductive logic programming
- image processing
- genetic algorithm
- selection algorithm
- inductive inference
- multiscale
- reinforcement learning
- multi agent
- knowledge acquisition
- basis functions
- deductive databases
- concept learning
- selection strategy
- database
- program synthesis
- forward search
- functional programs