Lean Induction Principles for Tableaux.

Matthias Baaz Uwe Egly Christian G. Fermüller

Published in: TABLEAUX (1997)

Keyphrases

machine learning
rule induction
case study
building blocks
theoretical framework
inductive logic programming
inductive inference
data sets
genetic algorithm
subgroup discovery
program synthesis
functional programs