Buchumschlag

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ciatto, Giovanni, Sabbatini, Federico, Agiollo, Andrea, Magnini, Matteo, Omicini, Andrea
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Machine Learning Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Large language models as oracles for instantiating ontologies with domain-specific knowledge
von: Ciatto, Giovanni, et al.
Veröffentlicht: (2024)

Integrating Machine Learning into Belief-Desire-Intention Agents: Current Advances and Open Challenges
von: Agiollo, Andrea, et al.
Veröffentlicht: (2025)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
von: Yin, Hang, et al.
Veröffentlicht: (2023)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
von: Sharifi, Iman, et al.
Veröffentlicht: (2026)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
von: Baugh, Kexin Gu, et al.
Veröffentlicht: (2025)

Formal Explanations for Neuro-Symbolic AI
von: Paul, Sushmita, et al.
Veröffentlicht: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
von: He, Haoyuan, et al.
Veröffentlicht: (2022)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
von: Rothkopf, Raven, et al.
Veröffentlicht: (2024)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
von: Baaj, Ismaïl, et al.
Veröffentlicht: (2025)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
von: Cornelio, Cristina, et al.
Veröffentlicht: (2024)

Meta Operator for Complex Query Answering on Knowledge Graphs
von: Yin, Hang, et al.
Veröffentlicht: (2024)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
von: Olivieri, Pierriccardo, et al.
Veröffentlicht: (2026)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
von: Bizzaro, Davide, et al.
Veröffentlicht: (2025)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2023)

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines
von: Kinateder, Calvin
Veröffentlicht: (2025)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
von: Zhapa-Camacho, Fernando, et al.
Veröffentlicht: (2025)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
von: Mehimeh, Soumia
Veröffentlicht: (2025)

RLSF: Fine-tuning LLMs via Symbolic Feedback
von: Jha, Piyush, et al.
Veröffentlicht: (2024)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
von: He, Yunjie, et al.
Veröffentlicht: (2024)

SMLP: Symbolic Machine Learning Prover
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
von: Sharifi, Iman, et al.
Veröffentlicht: (2023)

SMLP: Symbolic Machine Learning Prover (User Manual)
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
von: Lourenço, Bruno F., et al.
Veröffentlicht: (2026)

Harnessing the Power of Semi-Structured Knowledge and LLMs with Triplet-Based Prefiltering for Question Answering
von: Boer, Derian, et al.
Veröffentlicht: (2024)

SAMOSA: Sharpness Aware Minimization for Open Set Active learning
von: Kim, Young In, et al.
Veröffentlicht: (2025)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
von: Qasim, Kaleem Ullah, et al.
Veröffentlicht: (2025)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
von: Shahid, Mahnoor, et al.
Veröffentlicht: (2026)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
von: Luo, Ziyan, et al.
Veröffentlicht: (2023)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
von: Buleshnyi, Mykhailo, et al.
Veröffentlicht: (2025)

Application of AI to formal methods - an analysis of current trends
von: Stock, Sebastian, et al.
Veröffentlicht: (2024)

P2C: Path to Counterfactuals
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2025)

Autonomous Code Evolution Meets NP-Completeness
von: Yu, Cunxi, et al.
Veröffentlicht: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
von: Pati, Viresh, et al.
Veröffentlicht: (2026)

Lattice Deduction Transformers
von: Davis, Liam, et al.
Veröffentlicht: (2026)

Learning big logical rules by joining small rules
von: Hocquette, Céline, et al.
Veröffentlicht: (2024)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
von: Vishwakarma, Rahul, et al.
Veröffentlicht: (2023)

Hypergraph Neural Networks Accelerate MUS Enumeration
von: Ijima, Hiroya, et al.
Veröffentlicht: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
von: Li, Jinzhao, et al.
Veröffentlicht: (2026)

Scaling the weight parameters in Markov logic networks and relational logistic regression models
von: Weitkämper, Felix
Veröffentlicht: (2021)