Search Results for author:
Found 3 papers, 1 papers with code
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
Adversarial Learning to Reason in an Arbitrary Logic
Existing approaches to learning to prove theorems focus on particular logics and datasets.
Learning Higher-Order Programs without Meta-Interpretive Learning
Learning complex programs through inductive logic programming (ILP) remains a formidable challenge.
