Indexed Induction and Coinduction, Fibrationally.
Clément FumexNeil GhaniPatricia JohannPublished in: CALCO (2011)
Keyphrases
- constructive induction
- inductive learning
- program synthesis
- inductive logic programming
- concept formation
- rule induction
- concept learning
- functional programs
- inductive reasoning
- discovery process
- inductive inference
- artificial intelligence
- special case
- evolutionary algorithm
- natural language
- video sequences
- database systems