Logical Rule Induction and Theory Learning Using Neural Theorem Proving

6 September 2018

Papers citing "Logical Rule Induction and Theory Learning Using Neural Theorem Proving"

5 / 5 papers shown

Title
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog David Tena Cucala Bernardo Cuenca Grau B. Motik Egor V. Kostylev 25 8 0 29 May 2023
Neuro-Symbolic Hierarchical Rule Induction Claire Glanois Xuening Feng Zhaohui Jiang Paul Weng Matthieu Zimmer Dong Li Wulong Liu NAI 36 23 0 26 Dec 2021
Logical reduction of metarules Andrew Cropper Sophie Tourret AI4CE 12 31 0 25 Jul 2019
Learning Relational Representations with Auto-encoding Logic Programs Sebastijan Dumancic Tias Guns Wannes Meert Hendrik Blockeel NAI 16 28 0 29 Mar 2019
Logic Tensor Networks for Semantic Image Interpretation Ivan Donadello Luciano Serafini Artur Garcez 62 209 0 24 May 2017