- A Symbolic Approach for Counterfactual Explanations
What is a Counterfactual explanation ? and how do we generate it using knowledge representation techniques ?
Read More
-
A Model-Agnostic SAT-based approach for Symbolic Explanation Enumeration
How can we associate symbolic explanations to black-box ML models?
Read More
-
ASTERYX: a model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
How to explain the predictions of a black-box ML models by providing both symbolic and score-based explanations with the help of Boolean satisfiability concepts ?
Read More