Reasoning about Counterfactuals and Explanations: Problems, Results and Directions