Answer-Set Programs for Repair Updates and Counterfactual Interventions

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.

cs.LO cs.AI cs.DB Logic, Reasoning, and Knowledge Topic Modeling Explainable Artificial Intelligence (XAI)

View graph Source

Paper

Similar papers

Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for ClassificationLeopoldo Bertossi, Gabriela Reyes2021 · arXiv (Cornell University) In Library

Reasoning about Counterfactuals and Explanations: Problems, Results and DirectionsLeopoldo Bertossi2021 · arXiv (Cornell University) In Library

Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual AnalysisLeopoldo Bertossi2021 · arXiv (Cornell University) · 4 citations In Library

Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order RewritingAziz Amezian El Khalfioui, Jonathan Joertz, Dorian Labeeuw et al.2020 · International Conference on Information and Knowledge Management · 6 citations In Library

Conditional Updates of Answer Set Programming and Its Application in Explainable PlanningVăn Đức Nguyễn, Tran Cao Son, Vasileiou Loukas Stylianos et al.2020 In Library

From Database Repairs to Causality in Databases and BeyondLeopoldo Bertossi2023 · arXiv (Cornell University) In Library

A Brief History of Updates of Answer-Set ProgramsJoão Pereira Leite, Martin Slota2021 · ArXiv.org In Library

Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in DatabasesLeopoldo Bertossi2021 · arXiv (Cornell University) In Library

A Brief History of Updates of Answer-Set ProgramsJoão Leite, Martin Slota2022 · Theory and Practice of Logic Programming In Library

Using ASP(Q) to Handle Inconsistent Prioritized DataMeghyn Bienvenu, Camille Bourgaux, Robin Jean et al.2026 · 1 citation In Library

Source of record

arXiv

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal