A Semantic Loss Function for Deep Learning with Symbolic Knowledge

29 November 2017

Papers citing "A Semantic Loss Function for Deep Learning with Symbolic Knowledge"

35 / 85 papers shown

Title
Causal Knowledge Guided Societal Event Forecasting Songgaojun Deng Huzefa Rangwala Yue Ning AI4TS 29 2 0 10 Dec 2021
SaDe: Learning Models that Provably Satisfy Domain Constraints Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel ALM 25 5 0 01 Dec 2021
Image Classification with Consistent Supporting Evidence Peiqi Wang Ruizhi Liao Daniel Moyer Seth Berkowitz Steven Horng Polina Golland 42 2 0 13 Nov 2021
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks Nicholas Hoernle Rafael-Michael Karampatsis Vaishak Belle Y. Gal 24 59 0 02 Nov 2021
Neuro-Symbolic Forward Reasoning Hikaru Shindo Devendra Singh Dhami Kristian Kersting NAI LRM 35 22 0 18 Oct 2021
Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning Di Chen Yiwei Bai Sebastian Ament Wenting Zhao D. Guevarra Lan Zhou B. Selman R. B. Dover J. Gregoire Carla P. Gomes 22 47 0 21 Aug 2021
A Review of Some Techniques for Inclusion of Domain-Knowledge into Deep Neural Networks T. Dash Sharad Chitlangia Aditya Ahuja A. Srinivasan 30 128 0 21 Jul 2021
Constrained Feedforward Neural Network Training via Reachability Analysis Long Kiu Chung Adam Dai Derek Knowles Shreyas Kousik Grace Gao 16 8 0 16 Jul 2021
Relational Reasoning Networks G. Marra Michelangelo Diligenti Francesco Giannini NAI 29 4 0 01 Jun 2021
EXplainable Neural-Symbolic Learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use case Natalia Díaz Rodríguez Alberto Lamas Jules Sanchez Gianni Franchi Ivan Donadello S. Tabik David Filliat P. Cruz Rosana Montes Francisco Herrera 49 77 0 24 Apr 2021
Neural Network Robustness as a Verification Property: A Principled Case Study Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 11 39 0 03 Apr 2021
Multi-Label Classification Neural Networks with Hard Logical Constraints Eleonora Giunchiglia Thomas Lukasiewicz AILaw 26 43 0 24 Mar 2021
Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases M. V. Bekkum M. D. Boer F. V. Harmelen André Meyer-Vitali A. T. Teije 25 68 0 23 Feb 2021
Handling Epistemic and Aleatory Uncertainties in Probabilistic Circuits Federico Cerutti Lance M. Kaplan Angelika Kimmig Murat Sensoy TPM 24 14 0 22 Feb 2021
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 65 292 0 10 Dec 2020
Right for the Right Concept: Revising Neuro-Symbolic Concepts by Interacting with their Explanations Wolfgang Stammer P. Schramowski Kristian Kersting FAtt 14 107 0 25 Nov 2020
Learning Reasoning Strategies in End-to-End Differentiable Proving Pasquale Minervini Sebastian Riedel Pontus Stenetorp Edward Grefenstette Tim Rocktaschel LRM 45 96 0 13 Jul 2020
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains Vaishak Belle NAI LRM 18 36 0 15 Jun 2020
Probably Approximately Correct Constrained Learning Luiz F. O. Chamon Alejandro Ribeiro 22 37 0 09 Jun 2020
Analyzing Differentiable Fuzzy Implications Emile van Krieken Erman Acar F. V. Harmelen AI4CE 26 29 0 04 Jun 2020
Complaint-driven Training Data Debugging for Query 2.0 Weiyuan Wu Lampros Flokas Eugene Wu Jiannan Wang 32 43 0 12 Apr 2020
Relational Neural Machines G. Marra Michelangelo Diligenti Francesco Giannini Marco Gori Marco Maggini NAI BDL 25 38 0 06 Feb 2020
Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning Haodi Zhang Zihang Gao Yi Zhou Haotong Zhang Kaishun Wu Fangzhen Lin AI4CE 21 17 0 22 Oct 2019
Interpretable neural networks based on continuous-valued logic and multicriteria decision operators Orsolya Csiszár Gábor Csiszár J. Dombi NAI 27 30 0 06 Oct 2019
A Logic-Driven Framework for Consistency of Neural Models Tao Li Vivek Gupta Maitrey Mehta Vivek Srikumar AI4CE 21 101 0 31 Aug 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 30 542 0 18 Jul 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 27 28 0 17 Jul 2019
Declarative Learning-Based Programming as an Interface to AI Systems Parisa Kordjamshidi Dan Roth Kristian Kersting 17 4 0 18 Jun 2019
Augmenting Neural Networks with First-order Logic Tao Li Vivek Srikumar 16 109 0 14 Jun 2019
Informed Machine Learning -- A Taxonomy and Survey of Integrating Knowledge into Learning Systems Laura von Rueden S. Mayer Katharina Beckh B. Georgiev Sven Giesselbach ... Rajkumar Ramamurthy Michal Walczak Jochen Garcke Christian Bauckhage Jannis Schuecker 34 626 0 29 Mar 2019
Learning Logistic Circuits Yitao Liang Guy Van den Broeck TPM 21 49 0 27 Feb 2019
Ontology Reasoning with Deep Neural Networks Patrick Hohenecker Thomas Lukasiewicz NAI 27 81 0 24 Aug 2018
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262 Rick Salay Krzysztof Czarnecki 25 69 0 05 Aug 2018
Logic Tensor Networks for Semantic Image Interpretation Ivan Donadello Luciano Serafini Artur Garcez 59 209 0 24 May 2017
Towards Verified Artificial Intelligence S. Seshia Dorsa Sadigh S. Shankar Sastry 18 203 0 27 Jun 2016