English

Answer-Set Programs for Repair Updates and Counterfactual Interventions

Logic in Computer Science 2022-09-27 v1 Artificial Intelligence Databases

Abstract

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.

Keywords

Cite

@article{arxiv.2209.12110,
  title  = {Answer-Set Programs for Repair Updates and Counterfactual Interventions},
  author = {Leopoldo Bertossi},
  journal= {arXiv preprint arXiv:2209.12110},
  year   = {2022}
}

Comments

Submitted to Festschrift volume

R2 v1 2026-06-28T02:02:01.252Z