# Answer-Set Programs for Repair Updates and Counterfactual Interventions

arXiv: https://arxiv.org/abs/2209.12110 · HTML: https://mlsanity.com/paper/2209.12110/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 6 of its 25 references that are in the map.
- First posted on arXiv 25 Sep 2022.

## Builds on (most cited first, 6 of 6)

- [Causality-based Explanation of Classification Outcomes](https://mlsanity.com/paper/2003.06868/) (2020)
- [Declarative Approaches to Counterfactual Explanations for Classification](https://mlsanity.com/paper/2011.07423/) (2020)
- [From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back](https://mlsanity.com/paper/1412.4311/) (2014)
- [Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification](https://mlsanity.com/paper/2107.10159/) (2021)
- [Consistency and Trust in Peer Data Exchange Systems](https://mlsanity.com/paper/1606.01930/) (2016)
- [Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis](https://mlsanity.com/paper/2106.10562/) (2021)

## Abstract (arXiv)

We briefly describe -- mainly through very simple examples -- different kinds of answer-set programs with annotations that have been proposed for specifying: database repairs and consistent query answering; secrecy view and query evaluation with them; counterfactual interventions for causality in databases; and counterfactual-based explanations in machine learning.