A differentiable approach to inductive logic programming
Learning first-order logic embeddings via matrix factorization