13 citations · 50 across the 19 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023
Schematic Unification
David M. Cerna
We present a generalization of first-order unification to a term algebra where variable indexing is part of the object language. We exploit variable indexing by associating some se…
cs.LO2023★ 13 cited
Anti-unification and Generalization: A Survey
David M. Cerna, Temur Kutsia
Anti-unification (AU) is a fundamental operation for generalization computation used for inductive inference. It is the dual operation to unification, an operation at the foundatio…
cs.AI2023★ 3 cited
Generalisation Through Negation and Predicate Invention
David M. Cerna, Andrew Cropper
The ability to generalise from a small number of examples is a fundamental challenge in machine learning. To tackle this challenge, we introduce an inductive logic programming (ILP…