Picture for Karim Tabia

Karim Tabia

CRIL

ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations

Add code
Jun 23, 2022
Figure 1 for ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Figure 2 for ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Figure 3 for ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Figure 4 for ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Viaarxiv icon

A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration

Add code
Jun 23, 2022
Figure 1 for A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Figure 2 for A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Figure 3 for A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Viaarxiv icon

A Symbolic Approach for Counterfactual Explanations

Add code
Jun 20, 2022
Viaarxiv icon

A General Modifier-based Framework for Inconsistency-Tolerant Query Answering

Add code
Feb 18, 2016
Figure 1 for A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Figure 2 for A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Figure 3 for A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Figure 4 for A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Viaarxiv icon