Answer-Set Programs for Repair Updates and Counterfactual Interventions

09/25/2022

∙

by   Leopoldo Bertossi, et al.

∙

0

∙

share

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.