Generic derivation of induction for impredicative encodings in Cedille.
Denis FirsovAaron StumpPublished in: CPP (2018)
Keyphrases
- inductive learning
- rule induction
- orders of magnitude
- learning algorithm
- high level
- subgroup discovery
- constructive induction
- data sets
- concept formation
- generic model
- inductive logic programming
- knowledge acquisition
- hidden markov models
- evolutionary algorithm
- expert systems
- video sequences
- data structure
- information systems