Making induction manifest in modular ACL2.

Carl Eastlund Matthias Felleisen

Published in: PPDP (2009)

Keyphrases

inductive learning
database
neural network
machine learning
decision trees
induction algorithms
data sets
computer vision
knowledge base
image processing
image segmentation
reinforcement learning
multi agent
inductive logic programming
subgroup discovery