SAT-Based Rigorous Explanations for Decision Lists
Alexey Ignatiev, João Marques‐Silva
Topics & Concepts
InterpretabilityComputer scienceEnumerationContrast (vision)Artificial intelligenceRange (aeronautics)Theoretical computer scienceMachine learningMathematicsDiscrete mathematicsEngineeringAerospace engineeringExplainable Artificial Intelligence (XAI)Bayesian Modeling and Causal InferenceImbalanced Data Classification Techniques