Cover Image

Abductive explanations of classifiers under constraints: Complexity and properties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cooper, Martin, Amgoud, Leila
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence 68T01, 68Q17 I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modelling Human Values for AI Reasoning
by: Osman, Nardine, et al.
Published: (2024)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
by: Haak, Anselm, et al.
Published: (2026)

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
by: Lagerkvist, Victor, et al.
Published: (2026)

On measuring grounding and generalizing grounding problems
by: Quigley, Daniel, et al.
Published: (2025)

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
by: Liang, Zhen, et al.
Published: (2024)

Understanding the Uncertainty of LLM Explanations: A Perspective Based on Reasoning Topology
by: Da, Longchao, et al.
Published: (2025)

Position: Uncertainty Quantification in LLMs is Just Unsupervised Clustering
by: Chen, Tiejin, et al.
Published: (2026)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

Representation Selection via Cross-Model Agreement using Canonical Correlation Analysis
by: Lewis, Dylan B., et al.
Published: (2026)

Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
by: Saffidine, Abdallah, et al.
Published: (2025)

Improving Graph Embeddings in Machine Learning Using Knowledge Completion with Validation in a Case Study on COVID-19 Spread
by: Napoli, Rosario, et al.
Published: (2025)

Modularity in Transformers: Investigating Neuron Separability & Specialization
by: Pochinkov, Nicholas, et al.
Published: (2024)

Diagnosing Multi-step Reasoning Failures in Black-box LLMs via Stepwise Confidence Attribution
by: Liu, Xiaoou, et al.
Published: (2026)

Boolean Nearest Neighbor Language in the Knowledge Compilation Map
by: Čepek, Ondřej, et al.
Published: (2024)

Semantic Modeling for World-Centered Architectures
by: Mantsivoda, Andrei, et al.
Published: (2026)

Interpretation, Learning, and Empathy as One Constraint: A Residual-Adequacy Architecture with Accountable Abstention
by: Amornbunchornvej, Chainarong
Published: (2026)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Computable Gap Assessment of Artificial Intelligence Governance in Children's Centres: Evidence-Mechanism-Governance-Indicator Modelling of UNICEF's Guidance on AI and Children 3.0 Based on the Graph-GAP Framework
by: Meng, Wei
Published: (2025)

Proceedings of the 20th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2025)
by: Hayama, Edited by Tessai, et al.
Published: (2025)

Causal Direction from Convergence Time: Faster Training in the True Causal Direction
by: Tamim, Abdulrahman
Published: (2026)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
by: Calimeri, Francesco, et al.
Published: (2024)

CSSDM Ontology to Enable Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2025)

SALT-KG: A Benchmark for Semantics-Aware Learning on Enterprise Tables
by: Mulang, Isaiah Onando, et al.
Published: (2026)

Murphys Laws of AI Alignment: Why the Gap Always Wins
by: Gaikwad, Madhava
Published: (2025)

A Landmark-Aware Visual Navigation Dataset
by: Johnson, Faith, et al.
Published: (2024)

Execution Semantics of Behavior Trees in Robotic Applications
by: Ghiorzi, Enrico, et al.
Published: (2024)

Vygotsky Distance: Measure for Benchmark Task Similarity
by: Surkov, Maxim K., et al.
Published: (2024)

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
by: Haque, Md. Asraful, et al.
Published: (2026)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
by: Xu, Ruoran, et al.
Published: (2026)

Probabilistic Computers (So Quantum Computers) Are More Rigorously Powerful Than Traditional Computers, and Derandomization
by: Lin, Tianrong
Published: (2023)

Breaking Boundaries: Balancing Performance and Robustness in Deep Wireless Traffic Forecasting
by: Ilbert, Romain, et al.
Published: (2023)

Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments
by: Leiva, Mario, et al.
Published: (2025)

The Lock-In Phase Hypothesis: Identity Consolidation as a Precursor to AGI
by: Amaral, Marcelo Maciel, et al.
Published: (2025)

Attention Please: What Transformer Models Really Learn for Process Prediction
by: Käppel, Martin, et al.
Published: (2024)

A Monad-Based Clause Architecture for Artificial Age Score (AAS) in Large Language Models
by: Kayadibi, Seyma Yaman
Published: (2025)

A Systematic Review of Digital Twin-Driven Predictive Maintenance in Industrial Engineering: Taxonomy, Architectural Elements, and Future Research Directions
by: Ismail, Leila, et al.
Published: (2025)

P not equal to NP
by: Delgado, Daniel Cardona
Published: (2023)

Answer Set Networks: Casting Answer Set Programming into Deep Learning
by: Skryagin, Arseny, et al.
Published: (2024)

Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms
by: Capdevielle, Tomás, et al.
Published: (2025)