Answer-Set Programs for Repair Updates and Counterfactual Interventions
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.
READ FULL TEXT