8 citations
4 papers
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure +1
The ever increasing complexity of machine learning techniques used more and more in practice, gives rise to the need to explain the predictions and decisions of these models, often…
A Symbolic Approach for Counterfactual Explanations
Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure +1
In this paper titled A Symbolic Approach for Counterfactual Explanations we propose a novel symbolic approach to provide counterfactual explanations for a classifier predictions. C…
Rectifying Mono-Label Boolean Classifiers
Sylvie Coste-Marquis, Pierre Marquis
We elaborate on the notion of rectification of a Boolean classifier . Given and some background knowledge , postulates characterizing the way must be changed into a n…
Generalized binary utility functions and fair allocations
Franklin Camacho, Rigoberto Fonseca-Delgado, Ramón Pino Pérez +1
The problem of finding envy-free allocations of indivisible goods can not always be solved; therefore, it is common to study some relaxations such as envy-free up to one good (EF1)…