Metagol
From MaRDI portal
Software:46430
swMATH34721MaRDI QIDQ46430FDOQ46430
Author name not available (Why is that?)
Source code repository: https://github.com/metagol/metagol
Cited In (12)
- Inductive logic programming at 30
- Learning higher-order logic programs
- Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
- Learning efficient logic programs
- Meta-interpretive learning from noisy images
- Lifting symmetry breaking constraints with inductive logic programming
- Beneficial and harmful explanatory machine learning
- Learning programs by learning from failures
- Top program construction and reduction for polynomial time meta-interpretive learning
- Inductive general game playing
- Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
- Logical reduction of metarules
This page was built for software: Metagol
