Image de couverture de livre

Enhancing Symbolic Machine Learning by Subsymbolic Representations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Roth, Stephen, Baur, Lennart, Boer, Derian, Kramer, Stefan
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Harnessing the Power of Semi-Structured Knowledge and LLMs with Triplet-Based Prefiltering for Question Answering
par: Boer, Derian, et autres
Publié: (2024)

Autofocus Retrieval: An Effective Pipeline for Multi-Hop Question Answering With Semi-Structured Knowledge
par: Boer, Derian, et autres
Publié: (2025)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
par: Balakrishnan, Anand, et autres
Publié: (2022)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
par: Majkic, Zoran
Publié: (2026)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
par: Alhessi, Yousef, et autres
Publié: (2025)

SMLP: Symbolic Machine Learning Prover
par: Brauße, Franz, et autres
Publié: (2024)

SMLP: Symbolic Machine Learning Prover (User Manual)
par: Brauße, Franz, et autres
Publié: (2024)

Improving ASP-based ORS Schedules through Machine Learning Predictions
par: Bruno, Pierangela, et autres
Publié: (2025)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
par: Miya, Shinobu
Publié: (2025)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
par: He, Haoyuan, et autres
Publié: (2022)

Integrating Fuzzy Logic into Deep Symbolic Regression
par: Gerdes, Wout, et autres
Publié: (2024)

Query Languages for Machine-Learning Models
par: Grohe, Martin
Publié: (2026)

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
par: Kirtania, Shashank, et autres
Publié: (2024)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
par: Xu, Jianfeng
Publié: (2025)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
par: Szeider, Stefan
Publié: (2026)

On Formally Undecidable Traits of Intelligent Machines
par: Fox, Matthew
Publié: (2024)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
par: Li, Jinzhao, et autres
Publié: (2023)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
par: Köhler, Dominik, et autres
Publié: (2024)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
par: Itoh, Kei
Publié: (2025)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
par: Heyninck, Jesse
Publié: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
par: Leisegang, Nicholas, et autres
Publié: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
par: Beiser, Alexander, et autres
Publié: (2025)

Automated planning with ontologies under coherence update semantics (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
par: Hofmann, Till, et autres
Publié: (2024)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
par: Nguyen, Long S. T., et autres
Publié: (2025)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
par: Yan, Rui, et autres
Publié: (2022)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
par: Baaj, Ismaïl, et autres
Publié: (2025)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
par: Rothkopf, Raven, et autres
Publié: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
par: Bork, Alexander, et autres
Publié: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

Machine Learning for Quantifier Selection in cvc5
par: Jakubův, Jan, et autres
Publié: (2024)