An ASP-Based Approach to Counterfactual Explanations for Classification
  We propose answer-set programs that specify and compute counterfactual
interventions as a basis for causality-based explanations to decisions produced
by classification models. They can be applied with black-box models and models
that can be specified as logic programs, such as rule-based classifiers. The
main focus in on the specification and computation of maximum responsibility
causal explanations. The use of additional semantic knowledge is investigated.
