Many inductive logic programming approaches struggle to learn programs f...
Discovering novel abstractions is important for human-level AI. We intro...
Program synthesis approaches struggle to learn programs with numerical
v...
A magic value in a program is a constant symbol that is essential for th...
The goal of inductive logic programming (ILP) is to search for a hypothe...
Given the recent successes of Deep Learning in AI there has been increas...
World-class human players have been outperformed in a number of complex ...