1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2025★ 1 cited
Honey, I shrunk the hypothesis space (through logical preprocessing)
Andrew Cropper, Filipe Gouveia, David M. Cerna
Inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for a hypothesis that generalises training examples and background…
cs.LO2024
Scalable Knowledge Refactoring using Constrained Optimisation
Minghao Liu, David M. Cerna, Filipe Gouveia +1
Knowledge refactoring compresses a logic program by introducing new rules. Current approaches struggle to scale to large programs. To overcome this limitation, we introduce a const…