Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance - Phua, Yin Jun; Inoue, Katsumi (Inductive Logic Programming, 2022)
Keywords: Interpretability; LFIT; Neural network; Neural-Symbolic AI