research
∙
06/15/2023
Recursive First-order Syntactic Unification Modulo Variable Classes
We present a generalization of first-order syntactic unification to a te...
share
research
∙
02/01/2023
Anti-unification and Generalization: A Survey
Anti-unification (AU), also known as generalization, is a fundamental op...
research
∙
01/18/2023
Generalisation Through Negation and Predicate Invention
The ability to generalise from a small number of examples is a fundament...
research
∙
08/13/2022
Differentiable Inductive Logic Programming in High-Dimensional Space
Synthesizing large logic programs through Inductive Logic Programming (I...
research
∙
07/18/2022
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
Investigations concerned with anti-unification (AU) over λ-terms have fo...
research
∙
01/25/2022
A Special Case of Schematic Syntactic Unification
We present a unification problem based on first-order syntactic unificat...
research
∙
12/29/2021
Learning Higher-Order Programs without Meta-Interpretive Learning
Learning complex programs through inductive logic programming (ILP) rema...
research
∙
02/28/2020
A Mobile Application for Self-Guided Study of Formal Reasoning
In this work, we introduce AXolotl, a self-study aid designed to guide s...
research
∙
01/23/2018