A Symbolic Approach to Explaining Bayesian Network Classifiers

9 May 2018

Papers citing "A Symbolic Approach to Explaining Bayesian Network Classifiers"

50 / 110 papers shown

Title
A Fast Kernel-based Conditional Independence test with Application to Causal Discovery Oliver Schacht Biwei Huang 19 0 0 16 May 2025
Learning Model Agnostic Explanations via Constraint Programming F. Koriche Jean-Marie Lagniez Stefan Mengel Chi Tran 33 0 0 13 Nov 2024
Sufficient and Necessary Explanations (and What Lies in Between) Beepul Bharti Paul H. Yi Jeremias Sulam XAI FAtt 35 2 0 30 Sep 2024
Abductive explanations of classifiers under constraints: Complexity and properties Martin Cooper Leila Amgoud 24 7 0 18 Sep 2024
Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection Min Wu Xiaofu Li Haoze Wu Clark Barrett 38 1 0 04 Sep 2024
Abductive and Contrastive Explanations for Scoring Rules in Voting Clément Contet Umberto Grandi Jérome Mengin FAtt 42 0 0 23 Aug 2024
Advancing Interactive Explainable AI via Belief Change Theory Antonio Rago Maria Vanina Martinez 21 0 0 13 Aug 2024
Axiomatic Characterisations of Sample-based Explainers Leila Amgoud Martin Cooper Salim Debbaoui FAtt 47 1 0 09 Aug 2024
A SAT-based approach to rigorous verification of Bayesian networks Yang Luo Zhemeng Yu Lintao Ma 39 0 0 02 Aug 2024
Explaining Decisions in ML Models: a Parameterized Complexity Analysis S. Ordyniak Giacomo Paesani Mateusz Rychlicki Stefan Szeider 31 1 0 22 Jul 2024
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic Ziyan An Hendrik Baier Abhishek Dubey Ayan Mukhopadhyay Meiyi Ma LRM 44 3 0 15 Jul 2024
Local vs. Global Interpretability: A Computational Complexity Perspective Shahaf Bassan Guy Amir Guy Katz 45 6 0 05 Jun 2024
Logic-Based Explainability: Past, Present & Future Joao Marques-Silva 31 2 0 04 Jun 2024
Guarantee Regions for Local Explanations Marton Havasi S. Parbhoo Finale Doshi-Velez FAtt AAML 33 0 0 20 Feb 2024
Locally-Minimal Probabilistic Explanations Yacine Izza Kuldeep S. Meel Sasha Rubin 21 3 0 19 Dec 2023
The Pros and Cons of Adversarial Robustness Yacine Izza Sasha Rubin AAML 33 1 0 18 Dec 2023
The Computational Complexity of Concise Hypersphere Classification E. Eiben R. Ganian Iyad A. Kanj S. Ordyniak Stefan Szeider 37 1 0 12 Dec 2023
Anytime Approximate Formal Feature Attribution Jinqiang Yu Graham Farr Alexey Ignatiev Peter Stuckey 30 2 0 12 Dec 2023
Pruning-Based Extraction of Descriptions from Probabilistic Circuits Sieben Bocklandt Vincent Derkinderen Koen Vanderstraeten Wouter Pijpops Kurt Jaspers Wannes Meert 25 0 0 22 Nov 2023
A Uniform Language to Explain Decision Trees Marcelo Arenas Pablo Barceló Diego Bustamante Jose Caraball Bernardo Subercaseaux 16 0 0 18 Oct 2023
Refutation of Shapley Values for XAI -- Additional Evidence Xuanxiang Huang Sasha Rubin AAML 34 4 0 30 Sep 2023
Axiomatic Aggregations of Abductive Explanations Gagan Biradar Yacine Izza Elita Lobo Vignesh Viswanathan Yair Zick FAtt 19 4 0 29 Sep 2023
May I Ask a Follow-up Question? Understanding the Benefits of Conversations in Neural Network Explainability Tong Zhang Xiaoyu Yang Boyang Albert Li 30 3 0 25 Sep 2023
A Refutation of Shapley Values for Explainability Xuanxiang Huang Sasha Rubin FAtt 26 3 0 06 Sep 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 36 15 0 31 Jul 2023
Short Boolean Formulas as Explanations in Practice Reijo Jaakkola Tomi Janhunen Antti Kuusisto Masood Feyzbakhsh Rankooh Miikka Vilander FAtt 18 2 0 13 Jul 2023
On Formal Feature Attribution and Its Approximation Jinqiang Yu Alexey Ignatiev Peter Stuckey 38 8 0 07 Jul 2023
On Logic-Based Explainability with Partially Specified Inputs Ramón Béjar António Morgado Jordi Planes Sasha Rubin 40 0 0 27 Jun 2023
Explainability is NOT a Game Sasha Rubin Xuanxiang Huang 31 17 0 27 Jun 2023
Delivering Inflated Explanations Yacine Izza Alexey Ignatiev Peter Stuckey Sasha Rubin XAI 24 5 0 27 Jun 2023
From Robustness to Explainability and Back Again Xuanxiang Huang Sasha Rubin 34 10 0 05 Jun 2023
Disproving XAI Myths with Formal Methods -- Initial Results Sasha Rubin 45 8 0 13 May 2023
Logic for Explainable AI Adnan Darwiche 35 8 0 09 May 2023
A New Class of Explanations for Classifiers with Non-Binary Features Chunxi Ji Adnan Darwiche FAtt 31 3 0 28 Apr 2023
Using Z3 for Formal Modeling and Verification of FNN Global Robustness Yihao Zhang Zeming Wei Xiyue Zhang Meng Sun AAML 6 6 0 20 Apr 2023
Inapproximability of sufficient reasons for decision trees Alexander Kozachinskiy 32 0 0 05 Apr 2023
Interactive Explanations by Conflict Resolution via Argumentative Exchanges Antonio Rago Hengzhi Li Francesca Toni 31 17 0 27 Mar 2023
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles John Törnblom Emil Karlsson Simin Nadjm-Tehrani FAtt 57 0 0 16 Mar 2023
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits Alexis de Colnet Pierre Marquis 31 9 0 30 Jan 2023
SpArX: Sparse Argumentative Explanations for Neural Networks [Technical Report] Hamed Ayoobi Nico Potyka Francesca Toni 24 18 0 23 Jan 2023
On Computing Probabilistic Abductive Explanations Yacine Izza Xuanxiang Huang Alexey Ignatiev Nina Narodytska Martin C. Cooper Sasha Rubin FAtt XAI 13 17 0 12 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 48 11 0 02 Dec 2022
Explaining Random Forests using Bipolar Argumentation and Markov Networks (Technical Report) Nico Potyka Xiang Yin Francesca Toni 24 10 0 21 Nov 2022
Feature Necessity & Relevancy in ML Classifier Explanations Xuanxiang Huang Martin C. Cooper António Morgado Jordi Planes Sasha Rubin FAtt 38 18 0 27 Oct 2022
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks Shahaf Bassan Guy Katz FAtt AAML 37 24 0 25 Oct 2022
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 50 39 0 24 Oct 2022
Computing Abductive Explanations for Boosted Trees Gilles Audemard Jean-Marie Lagniez Pierre Marquis N. Szczepanski 44 12 0 16 Sep 2022
Explainability via Short Formulas: the Case of Propositional Logic with Implementation Reijo Jaakkola Tomi Janhunen Antti Kuusisto Masood Feyzbakhsh Rankooh Miikka Vilander LRM 11 4 0 03 Sep 2022
Leveraging Explanations in Interactive Machine Learning: An Overview Stefano Teso Öznur Alkan Wolfgang Stammer Elizabeth M. Daly XAI FAtt LRM 26 62 0 29 Jul 2022
On Computing Relevant Features for Explaining NBCs Yacine Izza Sasha Rubin 36 5 0 11 Jul 2022