User:Felix QW/Inductive logic programming
Top-down search
[edit]- Sketch of Progol/Aleph/FOIL and the Model Inference System
- Inverse entailment
Metainterpretive learning
[edit]- Metarules
- Constraint-based learning
Common issues
[edit]- Language bias
- Mode declarations
- Metarules
- Scoring functions
- Compression
- Predicate invention
- Learning recursive programs
Applications
[edit]- Bioinformatics
- Other areas