Modularising inductive families.

Hsiang-Shang Ko Jeremy Gibbons

Published in: WGP@ICFP (2011)

Keyphrases

inductive learning
machine learning
inductive logic programming
inductive reasoning
feature selection
computational properties
data structure
functional programs
inductive inference
knowledge acquisition
video sequences
database
objective function
database systems
case study
information retrieval
neural network