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