ProGolem: a system based on relative minimal generalisation
From MaRDI portal
Recommendations
Cited in
(10)- QG/GA: a stochastic search for Progol
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
- On the use of stochastic local search techniques to revise first-order logic theories from examples
- ProGolem
- scientific article; zbMATH DE number 1696716 (Why is no real title available?)
- scientific article; zbMATH DE number 67803 (Why is no real title available?)
- scientific article; zbMATH DE number 1966622 (Why is no real title available?)
- Inductive Logic Programming
- Nominal anti-unification modulo equational theories
- Common abductive explanations in first order logic
This page was built for publication: ProGolem: a system based on relative minimal generalisation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582688)