Imagen de Portada

Enhancing Symbolic Machine Learning by Subsymbolic Representations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Roth, Stephen, Baur, Lennart, Boer, Derian, Kramer, Stefan
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Autofocus Retrieval: An Effective Pipeline for Multi-Hop Question Answering With Semi-Structured Knowledge
por: Boer, Derian, et al.
Publicado: (2025)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
por: Balakrishnan, Anand, et al.
Publicado: (2022)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

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

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
por: Alhessi, Yousef, et al.
Publicado: (2025)

SMLP: Symbolic Machine Learning Prover
por: Brauße, Franz, et al.
Publicado: (2024)

SMLP: Symbolic Machine Learning Prover (User Manual)
por: Brauße, Franz, et al.
Publicado: (2024)

Improving ASP-based ORS Schedules through Machine Learning Predictions
por: Bruno, Pierangela, et al.
Publicado: (2025)

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

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
por: He, Haoyuan, et al.
Publicado: (2022)

Integrating Fuzzy Logic into Deep Symbolic Regression
por: Gerdes, Wout, et al.
Publicado: (2024)

Query Languages for Machine-Learning Models
por: Grohe, Martin
Publicado: (2026)

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
por: Kirtania, Shashank, et al.
Publicado: (2024)

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

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
por: Szeider, Stefan
Publicado: (2026)

On Formally Undecidable Traits of Intelligent Machines
por: Fox, Matthew
Publicado: (2024)

Formal Explanations for Neuro-Symbolic AI
por: Paul, Sushmita, et al.
Publicado: (2024)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
por: Li, Jinzhao, et al.
Publicado: (2023)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
por: Köhler, Dominik, et al.
Publicado: (2024)

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

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

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
por: Farjami, Ali, et al.
Publicado: (2026)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
por: Leisegang, Nicholas, et al.
Publicado: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
por: Beiser, Alexander, et al.
Publicado: (2025)

Automated planning with ontologies under coherence update semantics (Extended Version)
por: Borgwardt, Stefan, et al.
Publicado: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
por: Hofmann, Till, et al.
Publicado: (2024)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
por: Nguyen, Long S. T., et al.
Publicado: (2025)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
por: Yan, Rui, et al.
Publicado: (2022)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
por: Baaj, Ismaïl, et al.
Publicado: (2025)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
por: Rothkopf, Raven, et al.
Publicado: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
por: Bork, Alexander, et al.
Publicado: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

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

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

Machine Learning for Quantifier Selection in cvc5
por: Jakubův, Jan, et al.
Publicado: (2024)