Fetching the paper…
Reading the bibliography…
In recent years, there has been an increasing interest in exploiting logically specified background knowledge in order to obtain neural models (i) with a better performance, (ii) able to learn from less data, and/or (iii) guaranteed to be compliant with the background knowledge itself, e.g., for safety-critical applications.
Combining explanation-based learning and artificial neural networks
Jude Shavlik and Geoffrey Towell · 1989
Earlier work this paper cites.
Combining prior symbolic knowledge and constructive neural network learning
Justin Fletcher and Zoran Obradovic · 1993
Earlier work this paper cites.
Knowledge-based connectionism for revising domain theories
Li Min Fu · 1993
Earlier work this paper cites.
Combining symbolic and neural learning
Jude Shavlik · 1994
Earlier work this paper cites.
Knowledge-based artificial neural networks
Geoffrey Towell and Jude Shavlik · 1994
Earlier work this paper cites.
Cascade ARTMAP: Integrating neural computation and symbolic knowledge processing
Ah-Hwee Tan · 1997
Earlier work this paper cites.
The connectionist inductive learning and logic programming system
Artur d’Avila Garcez and Gerson Zaverucha · 1999
Earlier work this paper cites.
Triangular Norms
Erich Peter Klement, Radko Mesiar, and Endre Pap · 2000
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.
Learning multiple layers of features from tiny images Ch. 3
Alex Krizhevsky · 2009
Earlier work this paper cites.
Hierarchical multi-label classification for protein function prediction: A local approach based on neural networks
Ricardo Cerri, Rodrigo Barros, and André Carlos Ponce de Leon Ferreira de Carvalho · 2011
Earlier work this paper cites.
An algebraic Prolog for reasoning about possible worlds
Angelika Kimmig, Guy Van den Broeck, and Luc De Raedt · 2011
Earlier work this paper cites.
A survey of hierarchical classification across different application domains
Carlos Nascimento Jr. Silla and Alex Alves Freitas · 2011
Earlier work this paper cites.
Bridging logic and kernel machines
Michelangelo Diligenti, Marco Gori, Marco Maggini, and Leonardo Rigutini · 2012
Earlier work this paper cites.
Hierarchical multi-label classification using local neural networks
Ricardo Cerri, Rodrigo Barros, and André Carlos Ponce de Leon Ferreira de Carvalho · 2014
Earlier work this paper cites.
Large-scale object classification using label relation graphs
Jia Deng, Nan Ding, Yangqing Jia, Andrea Frome, Kevin Murphy, Samy Bengio, Yuan Li, Hartmut Neven, and Hartwig Adam · 2014
Earlier work this paper cites.
Fast relational learning using bottom clause propositionalization with artificial neural networks
Manoel França, Gerson Zaverucha, and Artur d’Avila Garcez · 2014
Earlier work this paper cites.
Distilling the knowledge in a neural network
Geoffrey Hinton, Oriol Vinyals, and Jeffrey Dean · 2015
Earlier work this paper cites.
Hyper-class augmented and regularized deep learning for fine-grained image classification
Saining Xie, Tianbao Yang, Xiaoyu Wang, and Yuanqing Lin · 2015
Earlier work this paper cites.
Harnessing deep neural networks with logic rules
Zhiting Hu, Xuezhe Ma, Zhengzhong Liu, Eduard Hovy, and Eric Xing · 2016
Earlier work this paper cites.
Deep neural networks with massive learned knowledge
Zhiting Hu, Zichao Yang, Ruslan Salakhutdinov, 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.
Integrating prior knowledge into deep learning
Michelangelo Diligenti, Soumali Roychowdhury, and Marco Gori · 2017
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.
Label-free supervision of neural networks with physics and domain knowledge
Russell Stewart and Stefano Ermon · 2017
Cited alongside, same era.
When a computer program keeps you in jail: How computers are harming criminal justice
Rebecca Wexler · 2017
Embedding symbolic knowledge into deep networks
Yaqi Xie, Ziwei Xu, Kuldeep Meel, Mohan Kankanhalli, and Harold Soh · 2019
Later among the works it cites.
mlDEEPre: Multi-functional enzyme function prediction with hierarchical multi-label deep learning
Zhenzhen Zou, Shuye Tian, Xin Gao, and Yu Li · 2019
Later among the works it cites.
Coherent hierarchical multi-label classification networks
Eleonora Giunchiglia and Thomas Lukasiewicz · 2020
Later among the works it cites.
Improved protein structure prediction using potentials from deep learning
Andrew Senior et al · 2020
Later among the works it cites.
On tractable representations of binary neural networks
Weijia Shi, Andy Shih, Adnan Darwiche, and Arthur Choi · 2020
Later among the works it cites.
AI for science: Report on the department of energy (DOE) town halls on artificial intelligence (AI) for science
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
A hierarchical multi-label classification method based on neural networks for gene function prediction
Shou Feng, Ping Fu, and Wenbin Zheng · 2018
Cited alongside, same era.
DeepGO: Predicting protein functions from sequence and interactions using a deep ontology-aware classifier
Maxat Kulmanov, Mohammad Asif Khan, and Robert Hoehndorf · 2018
Cited alongside, same era.
DEEPre: Sequence-based enzyme EC number prediction by deep learning
Yu Li, Sheng Wang, Ramzan Umarov, Bingqing Xie, Ming Fan, Lihua Li, and Xin Gao · 2018
Cited alongside, same era.
DeepProbLog: Neural probabilistic logic programming
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and Luc De Raedt · 2018
Cited alongside, same era.
AWX: An integrated approach to hierarchical-multilabel classification
Luca Masera and Enrico Blanzieri · 2018
Cited alongside, same era.
Adversarially regularising neural NLI models to integrate logical background knowledge
Pasquale Minervini and Sebastian Riedel · 2018
Cited alongside, same era.
Rick Stevens, Valerie Taylor, Jeff Nichols, Arthur Barney Maccabe, Katherine Yelick, and David Brown · 2020
Later among the works it cites.
Analyzing differentiable fuzzy implications
Emile van Krieken, Erman Acar, and Frank van Harmelen · 2020
Later among the works it cites.
NeurASP: Embracing neural networks into answer set programming
Zhun Yang, Adam Ishay, and Joohyung Lee · 2020
Later among the works it cites.
Your “flamingo” is my “bird”: Fine-grained, or not
Dongliang Chang, Kaiyue Pang, Yixiao Zheng, Zhanyu Ma, Yi-Zhe Song, and Jun Guo · 2021
Later among the works it cites.
Neuro-symbolic constraint programming for structured prediction
Paolo Dragone, Stefano Teso, and Andrea Passerini · 2021
Later among the works it cites.
Multi-label classification neural networks with hard logical constraints
Eleonora Giunchiglia and Thomas Lukasiewicz · 2021
Later among the works it cites.
Rationale-inspired natural language explanations with commonsense
Bodhisattwa Prasad Majumder, Oana-Maria Camburu, Thomas Lukasiewicz, and Julian J. McAuley · 2021
Later among the works it cites.
A recap of early work on theory and knowledge refinement
Raymond Mooney and Jude Shavlik · 2021
Later among the works it cites.
Informed machine learning—A taxonomy and survey of integrating prior knowledge into learning systems
Laura von Rueden et al · 2021
Later among the works it cites.
Logic tensor networks
Samy Badreddine, Artur d’Avila Garcez, Luciano Serafini, and Michael Spranger · 2022
Closest in time.
Jingzhou Chen, Peng Wang, Jian Liu, and Yuntao Qian · 2022
Closest in time.
A review of some techniques for inclusion of domain-knowledge into deep neural networks
Tirtharaj Dash, Sharad Chitlangia, Aditya Ahuja, and Ashwin Srinivasan · 2022
Closest in time.
MultiplexNet: Towards fully satisfied logical constraints in neural networks
Nicholas Hoernle, Rafael-Michael Karampatsis, Vaishak Belle, and Kobi Gal · 2022
Closest in time.
Modeling label space interactions in multi-label classification using box embeddings
Dhruvesh Patel, Jay-Yoon Lee Pavitra Dangati, Michael Boratko, and Andrew McCallum · 2022
Closest in time.
Analyzing differentiable fuzzy logic operators
Emile van Krieken, Erman Acar, and Frank van Harmelen · 2022
Closest in time.