Cover Image

An XAI View on Explainable ASP: Methods, Systems, and Perspectives

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Eiter, Thomas, Geibinger, Tobias, Saribatur, Zeynep G.
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Human-Computer Interaction Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding
by: Saribatur, Zeynep G., et al.
Published: (2026)

ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)

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

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
by: Yanahama, Banri, et al.
Published: (2026)

Approximating Human Models During Argumentation-based Dialogues
by: Tang, Yinxu, et al.
Published: (2024)

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)

Dialectical Reconciliation via Structured Argumentative Dialogues
by: Vasileiou, Stylianos Loukas, et al.
Published: (2023)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
by: Ho, Loan, et al.
Published: (2025)

Viverra: Text-to-Code with Guarantees
by: Wu, Haoze, et al.
Published: (2026)

Seamful XAI: Operationalizing Seamful Design in Explainable AI
by: Ehsan, Upol, et al.
Published: (2022)

Agentic Explainability at Scale: Between Corporate Fears and XAI Needs
by: Elsayed, Yomna, et al.
Published: (2026)

Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications
by: Ren, Yuanfang, et al.
Published: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)

False Sense of Security in Explainable Artificial Intelligence (XAI)
by: Chung, Neo Christopher, et al.
Published: (2024)

XAI for All: Can Large Language Models Simplify Explainable AI?
by: Mavrepis, Philip, et al.
Published: (2024)

Agentic Explainable Artificial Intelligence (Agentic XAI) Approach To Explore Better Explanation
by: Yamaguchi, Tomoaki, et al.
Published: (2025)

Explainable AI Reloaded: Challenging the XAI Status Quo in the Era of Large Language Models
by: Ehsan, Upol, et al.
Published: (2024)

Proof Assistants for Teaching: a Survey
by: Minh, Frédéric Tran, et al.
Published: (2025)

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
by: Li, Bohan, et al.
Published: (2024)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
by: Huang, Ruanqianqian, et al.
Published: (2025)

Investigating the Impact and Student Perceptions of Guided Parsons Problems for Learning Logic with Subgoals
by: Tithi, Sutapa Dey, et al.
Published: (2025)

Using Learning Theories to Evolve Human-Centered XAI: Future Perspectives and Challenges
by: Cortinas-Lorenzo, Karina, et al.
Published: (2026)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
by: Bauer, Jakob Johannes, et al.
Published: (2025)

What Makes for a Good Saliency Map? Comparing Strategies for Evaluating Saliency Maps in Explainable AI (XAI)
by: Kares, Felix, et al.
Published: (2025)

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

Adoption of Explainable Natural Language Processing: Perspectives from Industry and Academia on Practices and Challenges
by: Dhaini, Mahdi, et al.
Published: (2025)

Towards Mass Spectrum Analysis with ASP
by: Küchenmeister, Nils, et al.
Published: (2025)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

What Does Evaluation of Explainable Artificial Intelligence Actually Tell Us? A Case for Compositional and Contextual Validation of XAI Building Blocks
by: Sokol, Kacper, et al.
Published: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
by: Eiter, Thomas, et al.
Published: (2025)

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages
by: Gatterbauer, Wolfgang, et al.
Published: (2024)

Is Conversational XAI All You Need? Human-AI Decision Making With a Conversational XAI Assistant
by: He, Gaole, et al.
Published: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
by: Yang, HuanYu, et al.
Published: (2025)

Why is plausibility surprisingly problematic as an XAI criterion?
by: Jin, Weina, et al.
Published: (2023)

XEQ Scale for Evaluating XAI Experience Quality
by: Wijekoon, Anjana, et al.
Published: (2024)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
by: Vozna, Alina, et al.
Published: (2026)

Should XAI Nudge Human Decisions with Explanation Biasing?
by: Fukuchi, Yosuke, et al.
Published: (2024)

Incremental XAI: Memorable Understanding of AI with Incremental Explanations
by: Bo, Jessica Y., et al.
Published: (2024)

The Impact of Imperfect XAI on Human-AI Decision-Making
by: Morrison, Katelyn, et al.
Published: (2023)