-  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