1 Inductive Inference Theory
1.1 Inductive Inference of Recursive Functions
: Topological Considerations in Composing Teams of Learning Machines.
1.2 Inductive Inference of Formal Languages
: Inductive Learning of Recurrence-Term Languages from Positive Data.
: Learning Formal Languages Based on Control Sets.
2 Inductive Inference for Artificial Intelligence
2.1 Theoretical Approaches
: TLPS - a Term Rewriting Laboratory (not only) for Experiments in Automatic Program Synthesis.