Fetching the paper…
Reading the bibliography…
The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks.
A further note on inductive generalization
Plotkin, G. 1971 · 1971
Earlier work this paper cites.
Algorithmic Program DeBugging
Shapiro, E. Y. 1983 · 1983
Earlier work this paper cites.
Inductive logic programming
Muggleton, S. 1991 · 1991
Earlier work this paper cites.
Learning elementary formal systems
Arikawa, S.; Shinohara, T.; and Yamamoto, A. 1992 · 1992
Earlier work this paper cites.
Declarative bias in ILP
Claire, N.; Céline, R.; Hilde, A.; Francesco, B.; and Birgit, T. 1996 · 1996
Earlier work this paper cites.
Foundations of Inductive Logic Programming
Nienhuys-Cheng, S.-H.; Wolf, R. d.; Siekmann, J.; and Carbonell, J. G. 1997 · 1997
Earlier work this paper cites.
Complexity and Expressive Power of Logic Programming
Dantsin, E.; Eiter, T.; Gottlob, G.; and Voronkov, A. 2001 · 2001
Earlier work this paper cites.
Logic for Learning
Lloyd, J. W. 2003 · 2003
Earlier work this paper cites.
Probabilistic Inductive Logic Programming
De Raedt, L.; and Kersting, K. 2004 · 2004
Earlier work this paper cites.
Learning the Structure of Markov Logic Networks
Kok, S.; and Domingos, P. 2005 · 2005
Earlier work this paper cites.
An ILP Refinement Operator for Biological Grammar Learning
Fredouille, D. C.; Bryant, C. H.; Jayawickreme, C. K.; Jupe, S.; and Topp, S. 2007 · 2006
Cited alongside, same era.
Riegel, R.; Gray, A. G.; Luus, F. P. S.; Khan, N.; Makondo, N.; Akhalwaya, I. Y.; Qian, H.; Fagin, R.; Barahona, F.; Sharma, U.; Ikbal, S.; Karanam, H.; Neelam, S.; Likhyani, A.; and Srivastava, S. K. 2020 · 2006
Cited alongside, same era.
Logic for Computer Science and Artificial Intelligence
Caferra, R. 2013 · 2013
Cited alongside, same era.
Declarative Modeling for Machine Learning and Data Mining
De Raedt, L. 2012 · 2013
Cited alongside, same era.
Structure learning of probabilistic logic programs by searching the clause space
Bellodi, E.; and Riguzzi, F. 2015 · 2015
Cited alongside, same era.
Inductive logic programming using a MaxSAT solver
Learning Explanatory Rules from Noisy Data
Evans, R.; and Grefenstette, E. 2018 · 2018
Later among the works it cites.
DeepProbLog: Neural Probabilistic Logic Programming
Manhaeve, R.; Dumancic, S.; Kimmig, A.; Demeester, T.; and De Raedt, L. 2018 · 2018
Later among the works it cites.
Using Binary Decision Diagrams to Enumerate Inductive Logic Programming Solutions
Shindo, H.; Nishino, M.; and Yamamoto, A. 2018 · 2018
Later among the works it cites.
Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures
Šourek, G.; Aschenbrenner, V.; Železný, F.; Schockaert, S.; and Kuželka, O. 2018 · 2018
Later among the works it cites.
Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning
d’Avila Garcez, A. S.; Gori, M.; Lamb, L. C.; Serafini, L.; Spranger, M.; and Tran, S. N. 2019 · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Chikara, N.; Koshimura, M.; Fujita, H.; and Hasegawa, R. 2015 · 2015
Cited alongside, same era.
Meta-Interpretive Learning of Data Transformation Programs
Cropper, A.; Tamaddoni-Nezhad, A.; and Muggleton, S. H. 2015 · 2015
Cited alongside, same era.
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
De Raedt, L.; Kersting, K.; Natarajan, S.; and Poole, D. 2016 · 2016
Cited alongside, same era.
End-to-end Differentiable Proving
Rocktäschel, T.; and Riedel, S. 2017 · 2017
Cited alongside, same era.
Differentiable Learning of Logical Rules for Knowledge Base Reasoning
Yang, F.; Yang, Z.; and Cohen, W. W. 2017 · 2017
Cited alongside, same era.
Nguembang Fadja, A.; and Riguzzi, F. 2019 · 2019
Later among the works it cites.
Synthesizing Datalog Programs using Numerical Relaxation
Si, X.; Raghothaman, M.; Heo, K.; and Naik, M. 2019 · 2019
Later among the works it cites.
TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure
Cohen, W. W.; Yang, F.; and Mazaitis, K. 2020 · 2020
Later among the works it cites.
From Statistical Relational to Neuro-Symbolic Artificial Intelligence
De Raedt, L.; Dumancic, S.; Manhaeve, R.; and Marra, G. 2020 · 2020
Later among the works it cites.
Relational Neural Machines
Marra, G.; Diligenti, M.; Giannini, F.; Gori, M.; and Maggini, M. 2020 · 2020
Later among the works it cites.