Fetching the paper…
Reading the bibliography…
In the recent past, there has been a growing interest in Neural-Symbolic Integration frameworks, i.e., hybrid systems that integrate connectionist and symbolic approaches to obtain the best of both worlds.
What’s hidden in the hidden layers
David S Touretzky and Dean A Pomerleau · 1989
Earlier work this paper cites.
Knowledge-based artificial neural networks
Geoffrey G. Towell and Jude W. Shavlik · 1994
Earlier work this paper cites.
The connectionist inductive learning and logic programming system
Artur S Avila Garcez and Gerson Zaverucha · 1999
Earlier work this paper cites.
Neural networks, a comprehensive foundation second edition by prentice-hall, 1999
S Haykin · 1999
Earlier work this paper cites.
Link-based classification
Qing Lu and Lise Getoor · 2003
Earlier work this paper cites.
Markov logic networks
Matthew Richardson and Pedro Domingos · 2006
Earlier work this paper cites.
Problog: A probabilistic prolog and its application in link discovery
Luc De Raedt, Angelika Kimmig, and Hannu Toivonen · 2007
Earlier work this paper cites.
Introduction to statistical relational learning
Daphne Koller, Nir Friedman, Sašo Džeroski, Charles Sutton, Andrew McCallum, Avi Pfeffer, Pieter Abbeel, Ming-Fai Wong, David Heckerman, Chris Meek, et al · 2007
Earlier work this paper cites.
Collective classification in network data
Prithviraj Sen, Galileo Mark Namata, Mustafa Bilgic, Lise Getoor, Brian Gallagher, and Tina Eliassi-Rad · 2008
Earlier work this paper cites.
Hybrid markov logic networks
Jue Wang and Pedro Domingos · 2008
Earlier work this paper cites.
Differentiable learning of logical rules for knowledge base reasoning
Fan Yang, Zhilin Yang, and William W Cohen · 2009
Earlier work this paper cites.
Deep neural networks for acoustic modeling in speech recognition
Geoffrey Hinton, Li Deng, Dong Yu, George Dahl, Abdel-rahman Mohamed, Navdeep Jaitly, Andrew Senior, Vincent Vanhoucke, Patrick Nguyen, Brian Kingsbury, et al · 2012
Earlier work this paper cites.
Imagenet classification with deep convolutional neural networks
Alex Krizhevsky, Ilya Sutskever, and Geoffrey E. Hinton · 2012
Earlier work this paper cites.
Neural machine translation by jointly learning to align and translate
Dzmitry Bahdanau, Kyunghyun Cho, and Yoshua Bengio · 2014
Earlier work this paper cites.
Fast relational learning using bottom clause propositionalization with artificial neural networks
Manoel VM França, Gerson Zaverucha, and Artur S d’Avila Garcez · 2014
Earlier work this paper cites.
Probabilistic reasoning in intelligent systems: networks of plausible inference
Judea Pearl · 2014
Earlier work this paper cites.
Low-dimensional embeddings of logic
Tim Rocktäschel, Matko Bosnjak, Sameer Singh, and Sebastian Riedel · 2014
Cited alongside, same era.
Tensorlog: A differentiable deductive database
William W Cohen · 2016
Cited alongside, same era.
Harnessing deep neural networks with logic rules
Zhiting Hu, Xuezhe Ma, Zhengzhong Liu, Eduard H. Hovy, and Eric P. Xing · 2016
Cited alongside, same era.
Visual relationship detection with language priors
Cewu Lu, Ranjay Krishna, Michael S. Bernstein, and Fei-Fei Li · 2016
Cited alongside, same era.
Learning knowledge base inference with neural theorem provers
Tim Rocktäschel and Sebastian Riedel · 2016
Cited alongside, same era.
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
A semantic loss function for deep learning with symbolic knowledge
Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, and Guy Van den Broeck · 2018
Later among the works it cites.
On the capabilities of logic tensor networks for deductive reasoning
Federico Bianchi and Pascal Hitzler · 2019
Later among the works it cites.
Knowledge enhanced neural networks
Alessandro Daniele and Luciano Serafini · 2019
Later among the works it cites.
Neural theorem provers do not learn rules without exploration
Michiel de Jong and Fei Sha · 2019
Later among the works it cites.
Honghua Dong, Jiayuan Mao, Tian Lin, Chong Wang, Lihong Li, and Denny Zhou · 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…
Luciano Serafini and Artur S. d’Avila Garcez · 2016
Cited alongside, same era.
Hinge-loss Markov random fields and probabilistic soft logic
Stephen H. Bach, Matthias Broecheler, Bert Huang, and Lise Getoor · 2017
Cited alongside, same era.
Neural-symbolic learning and reasoning: A survey and interpretation
Tarek R. Besold, Artur S. d’Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, and Gerson Zaverucha · 2017
Cited alongside, same era.
Semantic-based regularization for learning and inference
Michelangelo Diligenti, Marco Gori, and Claudio Saccà · 2017
Cited alongside, same era.
Logic tensor networks for semantic image interpretation
Ivan Donadello, Luciano Serafini, and Artur S. d’Avila Garcez · 2017
Cited alongside, same era.
End-to-end differentiable proving
Tim Rocktäschel and Sebastian Riedel · 2017
Cited alongside, same era.
Logical rule induction and theory learning using neural theorem proving
Andres Campero, Aldo Pareja, Tim Klinger, Josh Tenenbaum, and Sebastian Riedel · 2018
Cited alongside, same era.
Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, and Martin Vechev · 2019
Later among the works it cites.
Artur d’Avila Garcez, Marco Gori, Luis C Lamb, Luciano Serafini, Michael Spranger, and Son N Tran · 2019
Later among the works it cites.
Neural logic reinforcement learning
Zhengyao Jiang and Shan Luo · 2019
Later among the works it cites.
Neural networks for relational data
Navdeep Kaur, Gautam Kunapuli, Saket Joshi, Kristian Kersting, and Sriraam Natarajan · 2019
Later among the works it cites.
Augmenting neural networks with first-order logic
Tao Li and Vivek Srikumar · 2019
Later among the works it cites.
Jan Niclas Reimann and Andreas Schwung · 2019
Later among the works it cites.
Semi-supervised learning using differentiable reasoning
Emile Van Krieken, Erman Acar, and Frank Van Harmelen · 2019
Later among the works it cites.
Satnet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Po-Wei Wang, Priya L Donti, Bryan Wilder, and Zico Kolter · 2019
Later among the works it cites.
Teaching the old dog new tricks: Supervised learning with constraints
Fabrizio Detassis, Michele Lombardi, and Michela Milano · 2020
Closest in time.
Giuseppe Marra, Michelangelo Diligenti, Francesco Giannini, Marco Gori, and Marco Maggini · 2020
Closest in time.