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…