From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
Not on the map. Why?
Abstract (arXiv)
This survey explores the integration of learning and reasoning in two different fields of artificial intelligence: neurosymbolic and statistical relational artificial intelligence. Neurosymbolic artificial intelligence (NeSy) studies the integration of symbolic reasoning and neural networks, while statistical relational artificial intelligence (StarAI) focuses on integrating logic with probabilistic graphical models. This survey identifies seven shared dimensions between these two subfields of AI. These dimensions can be used to characterize different NeSy and StarAI systems. They are concerned with (1) the approach to logical inference, whether model or proof-based; (2) the syntax of the used logical theories; (3) the logical semantics of the systems and their extensions to facilitate learning; (4) the scope of learning, encompassing either parameter or structure learning; (5) the presence of symbolic and subsymbolic representations; (6) the degree to which systems capture the original logic, probabilistic, and neural paradigms; and (7) the classes of learning tasks the systems are applied to. By positioning various NeSy and StarAI systems along these dimensions and pointing out similarities and differences between them, this survey contributes fundamental concepts for understanding the integration of learning and reasoning.
Key facts. Cited by 72 papers in the map (data through 7 Oct 2026). Builds on 57 of its 139 references that are in the map. First posted on arXiv 25 Aug 2021.
Builds on
57 of 139 references.
References · 57
- 2015Distilling the Knowledge in a Neural Networkcited by 10,076
- 2018How Powerful are Graph Neural Networks?cited by 4,355
- 2017Neural Message Passing for Quantum Chemistrycited by 3,460
- 2017Modeling Relational Data with Graph Convolutional Networkscited by 1,684
- 2018Relational inductive biases, deep learning, and graph networkscited by 1,341
- 2014Embedding Entities and Relations for Learning and Inference in Knowledge Basescited by 929
- 2016Complex Embeddings for Simple Link Predictioncited by 897
- 2018Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networkscited by 878
- 2018Link Prediction Based on Graph Neural Networkscited by 829
- 2019Composition-based Multi-Relational Graph Convolutional Networkscited by 395
- 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 389
- 2019The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervisioncited by 369
38 more
- 2017A Semantic Loss Function for Deep Learning with Symbolic Knowledgecited by 267
- 2015A Review of Relational Machine Learning for Knowledge Graphscited by 264
- 2017Learning Explanatory Rules from Noisy Datacited by 210
- 2020Logic Tensor Networkscited by 197
- 2019Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoningcited by 149
- 2016DeepCoder: Learning to Write Programscited by 145
- 2019Neural Logic Machinescited by 144
- 2018End-to-end Structure-Aware Convolutional Networks for Knowledge Base Completioncited by 136
- 2016Harnessing Deep Neural Networks with Logic Rulescited by 135
- 2020Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphscited by 128
- 2019Learning Attention-based Embeddings for Relation Prediction in Knowledge Graphscited by 125
- 2018Embedding Logical Queries on Knowledge Graphscited by 120
- 2020Logical Neural Networkscited by 118
- 2020Analyzing Differentiable Fuzzy Logic Operatorscited by 100
- 2020Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspectivecited by 93
- 2017Logic Tensor Networks for Semantic Image Interpretationcited by 92
- 2019Write, Execute, Assess: Program Synthesis with a REPLcited by 92
- 2021The Logic of Graph Neural Networkscited by 84
- 2020Learning Compositional Rules via Neural Program Synthesiscited by 74
- 2019Probabilistic Logic Neural Networks for Reasoningcited by 69
- 2020Learning Reasoning Strategies in End-to-End Differentiable Provingcited by 60
- 2021DeepStochLog: Neural Stochastic Logic Programmingcited by 58
- 2019Augmenting Neural Networks with First-order Logiccited by 51
- 2020Teaching Temporal Logics to Neural Networkscited by 51
- 2020Neural-Symbolic Integration: A Compositional Perspectivecited by 45
- 2021Logic Explained Networkscited by 45
- 2018Neural-Guided Deductive Search for Real-Time Program Synthesis from Examplescited by 39
- 2021Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use casescited by 39
- 2019NLProlog: Reasoning with Weak Unification for Question Answering in Natural Languagecited by 36
- 2019Differentiable Reasoning on Large Knowledge Bases and Natural Languagecited by 30
- 2019Neural Markov Logic Networkscited by 27
- 2019Synthesizing Datalog Programs Using Numerical Relaxationcited by 23
- 2019Dynamically Pruned Message Passing Networks for Large-Scale Knowledge Graph Reasoningcited by 23
- 2016Lifted Rule Injection for Relation Embeddingscited by 22
- 2019Integrating Learning and Reasoning with Deep Logic Modelscited by 21
- 2020Relational Neural Machinescited by 19
- 2017Adversarial Sets for Regularising Neural Link Predictorscited by 15
- 2019Integrating Deep Learning with Logic Fusion for Information Extractioncited by 15
50 most cited of 57 All 57 (JSON)
Built on by
Citing papers per year: 2021: 1; 2022: 5; 2023: 5; 2024: 14; 2025: 28; 2026: 19.
72 papers.
Sort:
By area:
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inferencecited by 50
- 2021A Survey on Neural-symbolic Learning Systemscited by 39
- 2025Neuro-Symbolic AI in 2024: A Systematic Reviewcited by 36
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2022VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programmingcited by 31
- 2022Neuro-Symbolic Entropy Regularizationcited by 27
- 2023Neural Probabilistic Logic Programming in Discrete-Continuous Domainscited by 24
- 2024Interpretable Concept-Based Memory Reasoningcited by 17
- 2024Softened Symbol Grounding for Neuro-symbolic Systemscited by 16
- 2023Injecting Logical Constraints into Neural Networks via Straight-Through Estimatorscited by 12
- 2025Neurosymbolic Diffusion Modelscited by 12
- 2025A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfactioncited by 11
38 more
- 2024Learning with Logical Constraints but without Shortcut Satisfactioncited by 10
- 2024ULLER: A Unified Language for Learning and Reasoningcited by 9
- 2024On the Hardness of Probabilistic Neurosymbolic Learningcited by 9
- 2024NeSyA: Neurosymbolic Automatacited by 9
- 2025Defining neurosymbolic AIcited by 7
- 2023Neurosymbolic AI and its Taxonomy: a surveycited by 6
- 2023Declarative Probabilistic Logic Programming in Discrete-Continuous Domainscited by 5
- 2024Understanding the Logic of Direct Preference Alignment through Logiccited by 5
- 2024Clinical Reasoning over Tabular Data and Text with Bayesian Networkscited by 4
- 2024CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environmentscited by 3
- 2025A Learnability Analysis on Neuro-Symbolic Learningcited by 3
- 2025Grounding Methods for Neural-Symbolic AIcited by 3
- 2025The DeepLog Neurosymbolic Machinecited by 3
- 2023Knowledge Enhanced Graph Neural Networks for Graph Completioncited by 2
- 2024Aligning Generalisation Between Humans and Machinescited by 2
- 2025Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedbackcited by 2
- 2025Benchmarking graph construction by large language models for coherence-driven inferencecited by 2
- 2025A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledgecited by 2
- 2025Enhancing Symbolic Machine Learning by Subsymbolic Representationscited by 2
- 2025Neurosymbolic Object-Centric Learning with Distant Supervisioncited by 2
- 2025Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunitiescited by 2
- 2025Explainability of Large Language Models: Opportunities and Challenges toward Generating Trustworthy Explanationscited by 2
- 2022Modular design patterns for neural-symbolic integration: refinement and combinationcited by 1
- 2024IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirementscited by 1
- 2024Declarative Design of Neural Predicates in Neuro-Symbolic Systemscited by 1
- 2024Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Countingcited by 1
- 2025Standard Neural Computation Alone Is Insufficient for Logical Intelligencecited by 1
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verificationcited by 1
- 2025MILP-SAT-GNN: Yet Another Neural SAT Solvercited by 1
- 2025Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformerscited by 1
- 2025DeepGraphLog for Layered Neurosymbolic AIcited by 1
- 2026Sample-Efficient Neurosymbolic Deep Reinforcement Learningcited by 1
- 2026DeepLog: A Software Framework for Modular Neurosymbolic AIcited by 1
- 2026Weakly Supervised Segmentation as Semantic-Based Regularizationcited by 1
- 2026First-Order Temporal Logic Tensor Networkscited by 1
- 2026From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Modelscited by 1
- 2024Enhancing Computer Vision with Knowledge: a Rummikub Case Studycited by 0
- 2025Combining Planning and Reinforcement Learning for Solving Relational Multiagent Domainscited by 0
50 most cited of 72 All 72 (JSON)
- 2026Prototype-Rule Neurosymbolic Regularization for Rank-Constrained Tensor Neural Networks under Label Scarcity30 Sep 2026
- 2026Neurosymbolic Action Model Learning under Partial Observability22 Sep 2026
- 2026From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models11 Sep 2026
- 2026Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective31 Aug 2026
- 2026Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers1 Aug 2026
- 2026A Neurosymbolic Approach for Explainable Early Diagnosis of Alzheimer's Disease31 Jul 2026
- 2026From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How24 Jul 2026
- 2026First-Order Temporal Logic Tensor Networks29 Jun 2026
- 2026Moxia: A Trust-First Neuro-Symbolic Execution Architecture for Self-Explaining Mathematical Reasoning30 May 2026
- 2026Weakly Supervised Segmentation as Semantic-Based Regularization13 May 2026
- 2026DeepLog: A Software Framework for Modular Neurosymbolic AI11 May 2026
- 2026Sample-efficient Neuro-symbolic Proximal Policy Optimization28 Apr 2026
38 more
- 2026A Sugeno Integral View of Binarized Neural Network Inference20 Apr 2026
- 2026Hardware-Efficient Neuro-Symbolic Networks with the Exp-Minus-Log Operator15 Apr 2026
- 2026THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture13 Apr 2026
- 2026A Neuro-Symbolic System for Interpretable Multimodal Physiological Signals Integration in Human Fatigue Detection25 Mar 2026
- 2026The Observer-Situation Lattice: A Unified Formal Basis for Perspective-Aware Cognition2 Mar 2026
- 2026Interpretability in Deep Time Series Models Demands Semantic Alignment2 Feb 2026
- 2026Sample-Efficient Neurosymbolic Deep Reinforcement Learning6 Jan 2026
- 2025DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs11 Nov 2025
- 2025Neurosymbolic Deep Learning Semantics4 Nov 2025
- 2025Symbolic Neural Generation with Applications to Lead Discovery in Drug Design27 Oct 2025
- 2025Explainability of Large Language Models: Opportunities and Challenges toward Generating Trustworthy Explanations20 Oct 2025
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration25 Sep 2025
- 2025Automatic coherence-driven inference on arguments23 Sep 2025
- 2025Coherence-driven inference for cybersecurity23 Sep 2025
- 2025DeepGraphLog for Layered Neurosymbolic AI9 Sep 2025
- 2025Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities8 Sep 2025
- 2025The DeepLog Neurosymbolic Machine19 Aug 2025
- 2025Defining neurosymbolic AI15 Jul 2025
- 2025Grounding Methods for Neural-Symbolic AI10 Jul 2025
- 2025Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers10 Jul 2025
- 2025MILP-SAT-GNN: Yet Another Neural SAT Solver2 Jul 2025
- 2025Neurosymbolic Object-Centric Learning with Distant Supervision19 Jun 2025
- 2025Enhancing Symbolic Machine Learning by Subsymbolic Representations17 Jun 2025
- 2025Neurosymbolic Diffusion Models19 May 2025
- 2025A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge8 May 2025
- 2025A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction25 Mar 2025
- 2025A Learnability Analysis on Neuro-Symbolic Learning21 Mar 2025
- 2025Neurosymbolic Decision Trees11 Mar 2025
- 2025Modeling Arbitrarily Applicable Relational Responding with the Non-Axiomatic Reasoning System: A Machine Psychology Approach1 Mar 2025
- 2025Combining Planning and Reinforcement Learning for Solving Relational Multiagent Domains26 Feb 2025
- 2025Benchmarking graph construction by large language models for coherence-driven inference19 Feb 2025
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification5 Feb 2025
- 2025Standard Neural Computation Alone Is Insufficient for Logical Intelligence4 Feb 2025
- 2025Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback13 Jan 2025
- 2025Neuro-Symbolic AI in 2024: A Systematic Review9 Jan 2025
- 2024Understanding the Logic of Direct Preference Alignment through Logic23 Dec 2024
- 2024NeSyA: Neurosymbolic Automata10 Dec 2024
- 2024Enhancing Computer Vision with Knowledge: a Rummikub Case Study27 Nov 2024
50 newest of 72 All 72 (JSON)
- 2022A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inferencecited by 50
- 2022NeuPSL: Neural Probabilistic Soft Logiccited by 34
- 2022VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programmingcited by 31
- 2025Neurosymbolic Diffusion Modelscited by 12
- 2024On the Hardness of Probabilistic Neurosymbolic Learningcited by 9
- 2024NeSyA: Neurosymbolic Automatacited by 9
- 2024CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environmentscited by 3
- 2024Declarative Design of Neural Predicates in Neuro-Symbolic Systemscited by 1
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verificationcited by 1
- 2025DeepGraphLog for Layered Neurosymbolic AIcited by 1
- 2026From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Modelscited by 1
- 2025Neurosymbolic Decision Treescited by 0
12 most cited of 16 All 16 (JSON)
- 2026From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models11 Sep 2026
- 2026Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective31 Aug 2026
- 2026Moxia: A Trust-First Neuro-Symbolic Execution Architecture for Self-Explaining Mathematical Reasoning30 May 2026
- 2025DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs11 Nov 2025
- 2025Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration25 Sep 2025
- 2025DeepGraphLog for Layered Neurosymbolic AI9 Sep 2025
- 2025Neurosymbolic Diffusion Models19 May 2025
- 2025Neurosymbolic Decision Trees11 Mar 2025
- 2025A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification5 Feb 2025
- 2024NeSyA: Neurosymbolic Automata10 Dec 2024
- 2024On the Hardness of Probabilistic Neurosymbolic Learning6 Jun 2024
- 2024Declarative Design of Neural Predicates in Neuro-Symbolic Systems15 May 2024
12 newest of 16 All 16 (JSON)
- 2021A Survey on Neural-symbolic Learning Systemscited by 39
- 2025Neuro-Symbolic AI in 2024: A Systematic Reviewcited by 36
- 2022Neuro-Symbolic Entropy Regularizationcited by 27
- 2023Neural Probabilistic Logic Programming in Discrete-Continuous Domainscited by 24
- 2024Interpretable Concept-Based Memory Reasoningcited by 17
- 2024Softened Symbol Grounding for Neuro-symbolic Systemscited by 16
- 2023Injecting Logical Constraints into Neural Networks via Straight-Through Estimatorscited by 12
- 2025A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfactioncited by 11
- 2024Learning with Logical Constraints but without Shortcut Satisfactioncited by 10
- 2024ULLER: A Unified Language for Learning and Reasoningcited by 9
- 2025Defining neurosymbolic AIcited by 7
- 2023Neurosymbolic AI and its Taxonomy: a surveycited by 6
12 most cited of 55 All 55 (JSON)
- 2026Prototype-Rule Neurosymbolic Regularization for Rank-Constrained Tensor Neural Networks under Label Scarcity30 Sep 2026
- 2026Neurosymbolic Action Model Learning under Partial Observability22 Sep 2026
- 2026Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers1 Aug 2026
- 2026A Neurosymbolic Approach for Explainable Early Diagnosis of Alzheimer's Disease31 Jul 2026
- 2026From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How24 Jul 2026
- 2026First-Order Temporal Logic Tensor Networks29 Jun 2026
- 2026Weakly Supervised Segmentation as Semantic-Based Regularization13 May 2026
- 2026DeepLog: A Software Framework for Modular Neurosymbolic AI11 May 2026
- 2026Sample-efficient Neuro-symbolic Proximal Policy Optimization28 Apr 2026
- 2026A Sugeno Integral View of Binarized Neural Network Inference20 Apr 2026
- 2026Hardware-Efficient Neuro-Symbolic Networks with the Exp-Minus-Log Operator15 Apr 2026
- 2026THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture13 Apr 2026
12 newest of 55 All 55 (JSON)