Search Results for author:
Found 4 papers, 2 papers with code
Anti-unification and Generalization: A Survey
Anti-unification (AU) is a fundamental operation for generalization computation used for inductive inference.
Generalisation Through Negation and Predicate Invention
The ability to generalise from a small number of examples is a fundamental challenge in machine learning.
Differentiable Inductive Logic Programming in High-Dimensional Space
Synthesizing large logic programs through symbolic Inductive Logic Programming (ILP) typically requires intermediate definitions.
Inductive logic programming
Vocal Bursts Intensity Prediction
Learning Higher-Order Programs without Meta-Interpretive Learning
Learning complex programs through inductive logic programming (ILP) remains a formidable challenge.
