:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Marques-Silva, Joao, Huang, Xuanxiang, Letoffe, Olivier
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2501.11429
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index
by: Huang, Xuanxiang, et al.
Published: (2025)

Towards Rigorous Explainability by Feature Attribution
by: Létoffé, Olivier, et al.
Published: (2026)

Towards trustable SHAP scores
by: Letoffe, Olivier, et al.
Published: (2024)

SHAP scores fail pervasively even when Lipschitz succeeds
by: Letoffe, Olivier, et al.
Published: (2024)

From SHAP Scores to Feature Importance Scores
by: Letoffe, Olivier, et al.
Published: (2024)

Explainability is NOT a Game
by: Marques-Silva, Joao, et al.
Published: (2023)

A Refutation of Shapley Values for Explainability
by: Huang, Xuanxiang, et al.
Published: (2023)

From Robustness to Explainability and Back Again
by: Huang, Xuanxiang, et al.
Published: (2023)

Rigorous Explanations for Tree Ensembles
by: Izza, Yacine, et al.
Published: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
by: Izza, Yacine, et al.
Published: (2025)

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
by: Izza, Yacine, et al.
Published: (2024)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
by: Huang, Xuanxiang, et al.
Published: (2025)

Locally-Minimal Probabilistic Explanations
by: Izza, Yacine, et al.
Published: (2023)

Delivering Inflated Explanations
by: Izza, Yacine, et al.
Published: (2023)

On Trustworthy Rule-Based Models and Explanations
by: Siala, Mohamed, et al.
Published: (2025)

Logic-Based Explainability: Past, Present & Future
by: Marques-Silva, Joao
Published: (2024)

A Parallel Approach to Counting Exact Covers Based on Decomposability Property
by: Fang, Liangda, et al.
Published: (2026)

A Mechanism for Mutual Fairness in Cooperative Games with Replicable Resources -- Extended Version
by: Filter, Björn, et al.
Published: (2025)

Robust Statistical Scaling of Outlier Scores: Improving the Quality of Outlier Probabilities for Outliers (Extended Version)
by: Röchner, Philipp, et al.
Published: (2024)

On the Performance of Concept Probing: The Influence of the Data (Extended Version)
by: Ribeiro, Manuel de Sousa, et al.
Published: (2025)

The Sets of Power
by: Marques-Silva, Joao, et al.
Published: (2024)

Monitoring Data-aware Temporal Properties (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2026)

Concept Probing: Where to Find Human-Defined Concepts (Extended Version)
by: Ribeiro, Manuel de Sousa, et al.
Published: (2025)

Efficient & Correct Predictive Equivalence for Decision Trees
by: Marques-Silva, Joao, et al.
Published: (2025)

A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)
by: Christen, Remo, et al.
Published: (2025)

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
by: Khan, Shakil M., et al.
Published: (2024)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
by: Micheli, Andrea, et al.
Published: (2026)

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version
by: Mordoch, Argaman, et al.
Published: (2024)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
by: Blümel, Lydia, et al.
Published: (2024)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
by: Filipe, João, et al.
Published: (2026)

Extending XReason: Formal Explanations for Adversarial Detection
by: Jemaa, Amira, et al.
Published: (2024)

Planning with OWL-DL Ontologies (Extended Version)
by: John, Tobias, et al.
Published: (2024)

Game-theoretic Counterfactual Explanation for Graph Neural Networks
by: Chhablani, Chirag, et al.
Published: (2024)

Extending Decision Predicate Graphs for Comprehensive Explanation of Isolation Forest
by: Ceschin, Matteo, et al.
Published: (2025)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
by: Chen, Dillon Z., et al.
Published: (2025)

PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)
by: Grundke, Claudia, et al.
Published: (2025)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
by: Gorczyca, Piotr, et al.
Published: (2025)

Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
by: Andrews, Uri, et al.
Published: (2026)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Synchronizing Process Model and Event Abstraction for Grounded Process Intelligence (Extended Version)
by: Benzin, Janik-Vasily, et al.
Published: (2025)