Declarative Approaches to Counterfactual Explanations for Classification