On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI

23 August 2021

Papers citing "On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI"

12 / 12 papers shown

Title
On Formal Feature Attribution and Its Approximation Jinqiang Yu Alexey Ignatiev Peter J. Stuckey 30 8 0 07 Jul 2023
On Logic-Based Explainability with Partially Specified Inputs Ramón Béjar António Morgado Jordi Planes Sasha Rubin 32 0 0 27 Jun 2023
Disproving XAI Myths with Formal Methods -- Initial Results Sasha Rubin 35 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 28 3 0 28 Apr 2023
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits Alexis de Colnet Pierre Marquis 20 9 0 30 Jan 2023
Feature Necessity & Relevancy in ML Classifier Explanations Xuanxiang Huang Martin C. Cooper António Morgado Jordi Planes Sasha Rubin FAtt 35 18 0 27 Oct 2022
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 50 39 0 24 Oct 2022
Eliminating The Impossible, Whatever Remains Must Be True Jinqiang Yu Alexey Ignatiev Peter J. Stuckey Nina Narodytska Sasha Rubin 22 23 0 20 Jun 2022
On Tackling Explanation Redundancy in Decision Trees Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 48 58 0 20 May 2022
On the Computation of Necessary and Sufficient Explanations Adnan Darwiche Chunxi Ji FAtt 13 19 0 20 Mar 2022
Tractable Boolean and Arithmetic Circuits Adnan Darwiche TPM 36 12 0 07 Feb 2022