13 citations · 50 across the 19 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.AI2022★ 2 cited
Differentiable Inductive Logic Programming in High-Dimensional Space
Stanisław J. Purgał, David M. Cerna, Cezary Kaliszyk
Synthesizing large logic programs through symbolic Inductive Logic Programming (ILP) typically requires intermediate definitions. However, cluttering the hypothesis space with inte…
cs.LO2022★ 1 cited
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
David M. Cerna, Michal Buran
Generalization techniques have many applications, including template construction, argument generalization, and indexing. Modern interactive provers can exploit advancement in gene…
cs.LO2022★ 1 cited
A Special Case of Schematic Syntactic Unification
David M. Cerna
We present a unification problem based on first-order syntactic unification which ask whether every problem in a schematically-defined sequence of unification problems is unifiable…