The bounded functional interpretation of bar induction.
Patrícia EngráciaPublished in: Ann. Pure Appl. Log. (2012)
Keyphrases
- high level
- image interpretation
- rule induction
- rough sets
- inductive learning
- asymptotically optimal
- subgroup discovery
- functional verification
- data sets
- functional analysis
- program synthesis
- concept formation
- inference process
- inductive inference
- artificial neural networks
- expert systems
- decision making
- learning algorithm
- machine learning