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"

3 / 3 papers shown

Title
Logical reduction of metarules Andrew Cropper Sophie Tourret AI4CE 10 31 0 25 Jul 2019
Learning Relational Representations with Auto-encoding Logic Programs Sebastijan Dumancic Tias Guns Wannes Meert Hendrik Blockeel NAI 4 28 0 29 Mar 2019
Logic Tensor Networks for Semantic Image Interpretation Ivan Donadello Luciano Serafini Artur Garcez 54 209 0 24 May 2017