Paper ID: 2209.12110

Answer-Set Programs for Repair Updates and Counterfactual Interventions

Leopoldo Bertossi

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.

Submitted: Sep 25, 2022