Fetching the paper…
Reading the bibliography…
Artificial Intelligence agents are required to learn from their surroundings and to reason about the knowledge that has been learned in order to make decisions.
Liii. on lines and planes of closest fit to systems of points in space
Karl Pearson · 1901
Earlier work this paper cites.
Samy Badreddine and Michael Spranger · 1906
Earlier work this paper cites.
Semi-Supervised Learning using Differentiable Reasoning
Emile van Krieken, Erman Acar, and Frank van Harmelen · 1908
Earlier work this paper cites.
A multivariate study of variation in two species of rock crab of the genus Leptograpsus
N. A. Campbell and R. J. Mahon · 1974
Earlier work this paper cites.
The symbol grounding problem
Stevan Harnad · 1990
Earlier work this paper cites.
CHCL - A connectionist infernce system
Steffen Hölldobler and Franz J. Kurfess · 1990
Earlier work this paper cites.
Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
Gadi Pinkas · 1995
Earlier work this paper cites.
Metamathematics of Fuzzy Logic
Petr Hajek · 1998
Earlier work this paper cites.
Advances in SHRUTI-A neurally motivated model of relational knowledge representation and rapid inference using temporal synchrony
Lokendra Shastri · 1999
Earlier work this paper cites.
Triangular Norms
Erich Peter Klement, Radko Mesiar, and Endre Pap · 2000
Earlier work this paper cites.
Neural-Symbolic Learning System: Foundations and Applications
Artur d’Avila Garcez, Dov M. Gabbay, and Krysia B. Broda · 2002
Earlier work this paper cites.
Analyzing Differentiable Fuzzy Logic Operators
Emile van Krieken, Erman Acar, and Frank van Harmelen · 2002
Earlier work this paper cites.
Markov logic networks
Matthew Richardson and Pedro Domingos · 2006
Earlier work this paper cites.
Ryan Riegel, Alexander Gray, Francois Luus, Naweed Khan, Ndivhuwo Makondo, Ismail Yunus Akhalwaya, Haifeng Qian, Ronald Fagin, Francisco Barahona, Udit Sharma, Shajith Ikbal, Hima Karanam, Sumit Neelam, Ankita Likhyani, and Santosh Srivastava · 2006
Earlier work this paper cites.
The Harmonic Mind: From Neural Computation to Optimality-Theoretic GrammarVolume I: Cognitive Architecture (Bradford Books)
Paul Smolensky and Géraldine Legendre · 2006
Earlier work this paper cites.
The Many Valued and Nonmonotonic Turn in Logic
Dov M. Gabbay and John Woods, editors · 2007
Earlier work this paper cites.
Perspectives of Neural-Symbolic Integration
Barbara Hammer and Pascal Hitzler, editors · 2007
Earlier work this paper cites.
Neural-Symbolic Cognitive Reasoning
Artur d’Avila Garcez, Lus C. Lamb, and Dov M. Gabbay · 2008
Earlier work this paper cites.
Algorithms for weighted boolean optimization
Vasco Manquinho, Joao Marques-Silva, and Jordi Planes · 2009
Earlier work this paper cites.
The graph neural network model
Franco Scarselli, Marco Gori, Ah Chung Tsoi, Markus Hagenbuchner, and Gabriele Monfardini · 2009
Earlier work this paper cites.
A deep study of fuzzy implications
Yun Shi · 2009
Earlier work this paper cites.
Learning and representing temporal knowledge in recurrent networks
Rafael Borges, Artur d’Avila Garcez, and Luís Lamb · 2011
Earlier work this paper cites.
Introduction to mathematical fuzzy logic
Liber Běhounek, Petr Cintula, and Petr Hájek · 2011
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.
Improving multi-label classification performance by label constraints
Benhui Chen, Xuefen Hong, Lihua Duan, and Jinglu Hu · 2013
Cited alongside, same era.
Fast relational learning using bottom clause propositionalization with artificial neural networks
Manoel Franca, Gerson Zaverucha, and Artur d’Avila Garcez · 2014
Cited alongside, same era.
Probabilistic sentential decision diagrams
Doga Kisa, Guy Van den Broeck, Arthur Choi, and Adnan Darwiche · 2014
Cited alongside, same era.
Meta-interpretive learning: Application to grammatical inference
Stephen H. Muggleton, Dianhuan Lin, Niels Pahlavi, and Alireza Tamaddoni-Nezhad · 2014
Cited alongside, same era.
TensorFlow: Large-scale machine learning on heterogeneous systems, 2015
Martín Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Greg S. Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Ian Goodfellow, Andrew Harp, Geoffrey Irving, Michael Isard, Yangqing Jia, Rafal Jozefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dandelion Mané, Rajat Monga, Sherry Moore, Derek Murray, Chris Olah, Mike Schuster, Jonathon Shlens, Benoit Steiner, Ilya Sutskever, Kunal Talwar, Paul Tucker, Vincent Vanhoucke, Vijay Vasudevan, Fernanda Viégas, Oriol Vinyals, Pete Warden, Martin Wattenberg, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng · 2015
Compensating supervision incompleteness with prior knowledge in semantic image interpretation
Ivan Donadello and Luciano Serafini · 2019
Later among the works it cites.
Dl2: Training and querying neural networks with logic
Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, and Martin Vechev · 2019
Later among the works it cites.
Stacked capsule autoencoders
Adam Kosiorek, Sara Sabour, Yee Whye Teh, and Geoffrey E Hinton · 2019
Later among the works it cites.
Jiayuan Mao, Chuang Gan, Pushmeet Kohli, Joshua B. Tenenbaum, and Jiajun Wu · 2019
Later among the works it cites.
Constraint-based visual generation
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, and Marco Gori · 2019
Later among the works it cites.
Integrating learning and reasoning with deep logic models
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Interaction networks for learning about objects, relations and physics
Peter Battaglia, Razvan Pascanu, Matthew Lai, Danilo Jimenez Rezende, and Koray kavukcuoglu · 2016
Cited alongside, same era.
Harnessing deep neural networks with logic rules
Zhiting Hu, Xuezhe Ma, Zhengzhong Liu, Eduard Hovy, and Eric Xing · 2016
Cited alongside, same era.
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
Luciano Serafini and Artur d’Avila Garcez · 2016
Cited alongside, same era.
Learning and reasoning with logic tensor networks
Luciano Serafini and Artur d’Avila Garcez · 2016
Cited alongside, same era.
Logic tensor networks for semantic image interpretation
Ivan Donadello, Luciano Serafini, and Artur d’Avila Garcez · 2017
Cited alongside, same era.
UCI machine learning repository, 2017
Dheeru Dua and Casey Graff · 2017
Cited alongside, same era.
Adam: A Method for Stochastic Optimization
Diederik P. Kingma and Jimmy Ba · 2017
Cited alongside, same era.
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, and Marco Gori · 2019
Later among the works it cites.
Lyrics: A general interface layer to integrate logic inference and deep learning
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, and Marco Gori · 2019
Later among the works it cites.
Giuseppe Marra and Ondřej Kuželka · 2019
Later among the works it cites.
Probabilistic logic neural networks for reasoning
Meng Qu and Jian Tang · 2019
Later among the works it cites.
Enhancing the transformer with explicit relational encoding for math problem solving
Imanol Schlag, Paul Smolensky, Roland Fernandez, Nebojsa Jojic, Jürgen Schmidhuber, and Jianfeng Gao · 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.
Verifying strategic abilities of neural multi-agent systems
Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, and Alessio Lomuscio · 2020
Closest in time.
A meta-transfer objective for learning to disentangle causal mechanisms
Yoshua Bengio, Tristan Deleu, Nasim Rahaman, Nan Rosemary Ke, Sebastien Lachapelle, Olexa Bilaniuk, Anirudh Goyal, and Christopher Pal · 2020
Closest in time.
Tensorlog: A probabilistic database implemented using deep-learning infrastructure
William W. Cohen, Fan Yang, and Kathryn Mazaitis · 2020
Closest in time.
Neurosymbolic AI: The 3rd wave, 2020
Artur d’Avila Garcez and Luis C. Lamb · 2020
Closest in time.
Foundations of reasoning with uncertainty via real-valued logics, 2020
Ronald Fagin, Ryan Riegel, and Alexander Gray · 2020
Closest in time.
Ontology reasoning with deep neural networks
Patrick Hohenecker and Thomas Lukasiewicz · 2020
Closest in time.
The Third AI Summer, AAAI Robert S. Engelmore Memorial Lecture, Thirty-fourth AAAI Conference on Artificial Intelligence, New York, NY, February 10, 2020
Henry Kautz · 2020
Closest in time.
Graph neural networks meet neural-symbolic computing: A survey and perspective
Luís C. Lamb, Artur d’Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, and Moshe Y. Vardi · 2020
Closest in time.
Learning reasoning strategies in end-to-end differentiable proving, 2020
Pasquale Minervini, Sebastian Riedel, Pontus Stenetorp, Edward Grefenstette, and Tim Rocktäschel · 2020
Closest in time.
From statistical relational to neuro-symbolic artificial intelligence, 2020
Luc De Raedt, Sebastijan Dumančić, Robin Manhaeve, and Giuseppe Marra · 2020
Closest in time.
Analyzing Differentiable Fuzzy Implications
Emile van Krieken, Erman Acar, and Frank van Harmelen · 2020
Closest in time.
Faster-LTN: a neuro-symbolic, end-to-end object detection architecture
Francesco Manigrasso, Filomeno Davide Miro, Lia Morra, and Fabrizio Lamberti · 2021
Closest in time.
Neural-Symbolic Integration for Fairness in AI
Benedikt Wagner and Artur d’Avila Garcez · 2021
Closest in time.