:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Roth, Stephen, Baur, Lennart, Boer, Derian, Kramer, Stefan
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	https://arxiv.org/abs/2506.14569
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

Query Languages for Machine-Learning Models
by: Grohe, Martin
Published: (2026)

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

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

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

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

On Formally Undecidable Traits of Intelligent Machines
by: Fox, Matthew
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
by: Andresel, Medina, et al.
Published: (2026)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
by: Sigloch, Paul, et al.
Published: (2026)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
by: Lee, Jeyoung, et al.
Published: (2025)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
by: Pal, Koyena, et al.
Published: (2026)

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

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

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