:: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	Guasch, Antoni, Valdez, Maria Isabel
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	https://arxiv.org/abs/2509.17978
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Taming Silent Failures: A Framework for Verifiable AI Reliability
by: Yang, Guan-Yan, et al.
Published: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
by: Rashid, Adnan
Published: (2026)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, 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)

Reasoning in Neurosymbolic AI
by: Tran, Son, et al.
Published: (2025)

Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
by: Bezerra, Emannuel L. de A., et al.
Published: (2026)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
by: Ileri, Atalay Mert, et al.
Published: (2024)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
by: Zhao, Yanxiao, et al.
Published: (2025)

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

Formally Verified Approximate Policy Iteration
by: Schäffeler, Maximilian, et al.
Published: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
by: Pati, Viresh, et al.
Published: (2026)

Circuit Representations of Random Forests with Applications to XAI
by: Ji, Chunxi, et al.
Published: (2026)

Categorical Construction of Logically Verifiable Neural Architectures
by: Nye, Logan
Published: (2025)

Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI
by: Jülich, Michael
Published: (2026)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
by: Vitali, Fabio
Published: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
by: Wang, David, et al.
Published: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
by: Zeng, Yankai, et al.
Published: (2024)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
by: Eiter, Thomas, et al.
Published: (2026)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
by: Patel, Manooshree, et al.
Published: (2025)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
by: Bhat, Vishak K, et al.
Published: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

Towards Compositional Interpretability for XAI
by: Tull, Sean, et al.
Published: (2024)

Can Proof Assistants Verify Multi-Agent Systems?
by: Mendez, Julian Alfredo, et al.
Published: (2025)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
by: Tudor, Alexis R., et al.
Published: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
by: Yang, Kaiyu, et al.
Published: (2024)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
by: DeLong, Lauren Nicole, et al.
Published: (2023)

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
by: Tang, Yinxu, et al.
Published: (2025)

Defeasible Reasoning on Concepts
by: Ding, Yiwen, et al.
Published: (2024)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
by: Lee, Jihwan, et al.
Published: (2024)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2025)

Constrained Assumption-Based Argumentation Frameworks
by: De Angelis, Emanuele, et al.
Published: (2026)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
by: Zang, Zhengqing, et al.
Published: (2026)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
by: Boetius, David, et al.
Published: (2026)

A Compositional Framework for On-the-Fly LTLf Synthesis
by: Li, Yongkang, et al.
Published: (2025)

AI Space Physics: Constitutive boundary semantics for open AI institutions
by: Romanchuk, Oleg, et al.
Published: (2026)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
by: Hinnerichs, Tilman, et al.
Published: (2022)

On logic and generative AI
by: Gurevich, Yuri, et al.
Published: (2024)