AIFAD - Automated Induction of Functions over Algebraic Datatypes
Copyright (C) 2006
Markus Mottl
New York, 16th January, 2006
Contents
Directory contents
What is AIFAD?
Why would you need it?
Features
Missing features
How can you use it?
Specification of algebraic datatypes
Data files
C4.5-compatible data
Learning from data
Learning parameters
Applying models
Evaluating results
Model complexity
Random data generation
Contact information and contributing
References
This document was translated from L
A
T
E
X by
H
E
V
E
A
.