2000 character limit reached
Answer-Set Programs for Repair Updates and Counterfactual Interventions (2209.12110v1)
Published 25 Sep 2022 in cs.LO, cs.AI, and cs.DB
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.