Cover Image

Logic Explanation of AI Classifiers by Categorical Explaining Functors

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fioravanti, Stefano, Giannini, Francesco, Frazzetto, Paolo, Zanasi, Fabio, Barbiero, Pietro
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
by: Lorenzin, Antonio, et al.
Published: (2025)

Relational Concept Bottleneck Models
by: Barbiero, Pietro, et al.
Published: (2023)

Interpretable Concept-Based Memory Reasoning
by: Debot, David, et al.
Published: (2024)

Counterfactual Concept Bottleneck Models
by: Dominici, Gabriele, et al.
Published: (2024)

Comparing Explanations is Not Enough, Explain the Change: New Standards are Needed to Explain Behavioral Shifts in Large Language Models
by: Ciaperoni, Martino, et al.
Published: (2026)

Explainable Malware Detection with Tailored Logic Explained Networks
by: Anthony, Peter, et al.
Published: (2024)

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

Counterfactual Explanations for Clustering Models
by: Spagnol, Aurora, et al.
Published: (2024)

Actionable Interpretability Must Be Defined in Terms of Symmetries
by: Barbiero, Pietro, et al.
Published: (2026)

Explaining Image Classifiers
by: Chockler, Hana, et al.
Published: (2024)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
by: Lorenzin, Antonio, et al.
Published: (2025)

Prototype-Grounded Concept Models for Verifiable Concept Alignment
by: Colamonaco, Stefano, et al.
Published: (2026)

Fuzzy Logic Function as a Post-hoc Explanator of the Nonlinear Classifier
by: Klimo, Martin, et al.
Published: (2024)

Neural Interpretable Reasoning
by: Barbiero, Pietro, et al.
Published: (2025)

GNN Explanations that do not Explain and How to find Them
by: Azzolin, Steve, et al.
Published: (2026)

The Explanation Necessity for Healthcare AI
by: Mamalakis, Michail, et al.
Published: (2024)

Causal Explanations for Image Classifiers
by: Chockler, Hana, et al.
Published: (2024)

An AI Architecture with the Capability to Classify and Explain Hardware Trojans
by: Whitten, Paul, et al.
Published: (2024)

Mixture of Concept Bottleneck Experts
by: De Santis, Francesco, et al.
Published: (2026)

Free Argumentative Exchanges for Explaining Image Classifiers
by: Kori, Avinash, et al.
Published: (2025)

Interpretable Hierarchical Concept Reasoning through Attention-Guided Graph Learning
by: Debot, David, et al.
Published: (2025)

Interpretable Neural-Symbolic Concept Reasoning
by: Barbiero, Pietro, et al.
Published: (2023)

Towards Better Generalization and Interpretability in Unsupervised Concept-Based Models
by: De Santis, Francesco, et al.
Published: (2025)

Linearly-Interpretable Concept Embedding Models for Text Analysis
by: De Santis, Francesco, et al.
Published: (2024)

Explaining Categorical Feature Interactions Using Graph Covariance and LLMs
by: Shen, Cencheng, et al.
Published: (2025)

Consciousness as a Functor
by: Mahadevan, Sridhar
Published: (2025)

Grounding Methods for Neural-Symbolic AI
by: Ontiveros, Rodrigo Castellano, et al.
Published: (2025)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
by: Jiao, Ying, et al.
Published: (2025)

eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
by: Wormald, Stephen, et al.
Published: (2025)

Combining LLMs with Logic-Based Framework to Explain MCTS
by: An, Ziyan, et al.
Published: (2025)

Scalable Evaluation and Neural Models for Compositional Generalization
by: Camposampiero, Giacomo, et al.
Published: (2025)

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

From Explainable to Explained AI: Ideas for Falsifying and Quantifying Explanations
by: Schirris, Yoni, et al.
Published: (2025)

xAI-Drop: Don't Use What You Cannot Explain
by: De Luca, Vincenzo Marco, et al.
Published: (2024)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
by: Filho, Francisco Mateus Rocha, et al.
Published: (2024)

Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations
by: Barceló, Pablo, et al.
Published: (2025)

A Modal Logic for Temporal and Jurisdictional Classifier Models
by: Di Florio, Cecilia, et al.
Published: (2025)

Preference Elicitation for Step-Wise Explanations in Logic Puzzles
by: Foschini, Marco, et al.
Published: (2025)

Explainable AI in Time-Sensitive Scenarios: Prefetched Offline Explanation Model
by: Russo, Fabio Michele, et al.
Published: (2025)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
by: Brindise, Noel, et al.
Published: (2023)