User:Felix QW/Inductive logic programming

Top-down search

 * Sketch of Progol/Aleph/FOIL and the Model Inference System
 * Inverse entailment

Metainterpretive learning

 * Metarules
 * Constraint-based learning

Common issues

 * Language bias
 * Mode declarations
 * Metarules
 * Scoring functions
 * Compression
 * Predicate invention
 * Learning recursive programs

Applications

 * Bioinformatics
 * Other areas