Answer-Set Programs for Reasoning about Counterfactual Interventions and
  Responsibility Scores for Classification
  We describe how answer-set programs can be used to declaratively specify
counterfactual interventions on entities under classification, and reason about
them. In particular, they can be used to define and compute responsibility
scores as attribution-based explanations for outcomes from classification
models. The approach allows for the inclusion of domain knowledge and supports
query answering. A detailed example with a naive-Bayes classifier is presented.
