Synthesizing Datalog Programs Using Numerical Relaxation

1 June 2019

Papers citing "Synthesizing Datalog Programs Using Numerical Relaxation"

9 / 9 papers shown

Title
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li Zhaoyu Li Qiwei Du Jinqi Luo Wenshan Wang ... Katia P. Sycara Pradeep Kumar Ravikumar Alexander G. Gray X. Si Sebastian A. Scherer AI4CE LRM 74 3 0 01 Nov 2024
Scallop: A Language for Neurosymbolic Programming Ziyang Li Jiani Huang Mayur Naik ReLM LRM NAI 16 30 0 10 Apr 2023
Generalisation Through Negation and Predicate Invention David M. Cerna Andrew Cropper NAI 22 3 0 18 Jan 2023
From Perception to Programs: Regularize, Overparameterize, and Amortize Hao Tang Kevin Ellis NAI 22 10 0 13 Jun 2022
Learning logic programs by combining programs Andrew Cropper Céline Hocquette AI4CE 10 7 0 01 Jun 2022
Neuro-Symbolic Forward Reasoning Hikaru Shindo D. Dhami Kristian Kersting NAI LRM 25 22 0 18 Oct 2021
On the Complexity of Inductively Learning Guarded Rules Andrei Draghici Georg Gottlob Matthias Lanzinger 13 0 0 07 Oct 2021
DeepStochLog: Neural Stochastic Logic Programming Thomas Winters G. Marra Robin Manhaeve Luc de Raedt BDL NAI 19 61 0 23 Jun 2021
Differentiable Inductive Logic Programming for Structured Examples Hikaru Shindo Masaaki Nishino Akihiro Yamamoto NAI 32 29 0 02 Mar 2021