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

References