Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Leopoldo Bertossi

Reasoning about Counterfactuals and Explanations: Problems, Results and Directions


Aug 25, 2021
Leopoldo Bertossi

* To appear in informal proceedings of 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021), co-located with KR 2021. arXiv admin note: substantial text overlap with arXiv:2107.10159 

  Access Paper or Ask Questions

Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases


Aug 20, 2021
Leopoldo Bertossi

* In this version, a couple of minor mistakes corrected. This is a slightly extended and updated version of a paper published in the Proc. of the Alberto Mendelzon International Workshop of Foundations of Data Management which will also serve as extended version for a forthcoming extended abstract based on the former 

  Access Paper or Ask Questions

Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization


Aug 03, 2021
Leopoldo Bertossi, Mostafa Milani

* Journal submission 

  Access Paper or Ask Questions

Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification


Jul 21, 2021
Leopoldo Bertossi, Gabriela Reyes

* Extended version with appendices of conference submission (under review). arXiv admin note: text overlap with arXiv:2106.10562 

  Access Paper or Ask Questions

Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis


Jun 19, 2021
Leopoldo Bertossi

* Paper associated to forthcoming short course at Fall School. arXiv admin note: text overlap with arXiv:2007.12799 

  Access Paper or Ask Questions

On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results


Apr 16, 2021
Marcelo Arenas, Pablo Barceló, Leopoldo Bertossi, Mikaël Monet

* 52 pages, including 48 pages of main text. This is an extended version of the AAAI conference paper "The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits" (arXiv:2007.14045), with additional results 

  Access Paper or Ask Questions

Declarative Approaches to Counterfactual Explanations for Classification


Nov 15, 2020
Leopoldo Bertossi

* Journal submission, by invitation. Considerably extended version of RuleML-RR'20 paper [arXiv:2004.13237] 

  Access Paper or Ask Questions

Score-Based Explanations in Data Management and Machine Learning


Aug 19, 2020
Leopoldo Bertossi

* Companion paper for a tutorial at the Scalable Uncertainty Management Conference (SUM'20). To appear in Proc. SUM'20. Minor fixes made 

  Access Paper or Ask Questions

An ASP-Based Approach to Counterfactual Explanations for Classification


Apr 28, 2020
Leopoldo Bertossi

* Conference submission 

  Access Paper or Ask Questions

Causality-based Explanation of Classification Outcomes


Mar 15, 2020
Leopoldo Bertossi, Jordan Li, Maximilian Schleich, Dan Suciu, Zografoula Vagena

* 15 pages, 5 figures, 1 table 

  Access Paper or Ask Questions

Repair-Based Degrees of Database Inconsistency: Computation and Complexity


Sep 27, 2018
Leopoldo Bertossi


  Access Paper or Ask Questions

Datalog: Bag Semantics via Set Semantics


Jul 25, 2018
Leopoldo Bertossi, Georg Gottlob, Reinhard Pichler

* New references added in this version 

  Access Paper or Ask Questions

Measuring and Computing Database Inconsistency via Repairs


Jul 12, 2018
Leopoldo Bertossi

* Submission as short paper; to appear in Proc. Scalable Uncertainty Management, SUM 2018. Abstract and keywords added 

  Access Paper or Ask Questions

Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs


Apr 04, 2018
Leopoldo Bertossi

* To appear in Proc. FoIKS, 2018. Several relevant typos corrected on this version 

  Access Paper or Ask Questions

Ontological Multidimensional Data Models and Contextual Data Qality


Aug 13, 2017
Leopoldo Bertossi, Mostafa Milani

* Journal submission (revised version addressing reviewers' observations) Extended version of RuleML'15 paper 

  Access Paper or Ask Questions

Causes for Query Answers from Databases: Datalog Abduction, View-Updates, and Integrity Constraints


Jul 31, 2017
Leopoldo Bertossi, Babak Salimi

* To appear in International Journal of Approximate Reasoning. Extended version of "Flairs'16" and "UAI'15 WS on Causality" papers 

  Access Paper or Ask Questions

The Causality/Repair Connection in Databases: Causality-Programs


Jun 26, 2017
Leopoldo Bertossi

* To appear in Proc. SUM'17 as short paper, 7-pages 

  Access Paper or Ask Questions

The Ontological Multidimensional Data Model


May 04, 2017
Leopoldo Bertossi, Mostafa Milani

* Extended abstract. This version with minor revisions and slightly extended. To appear in Proc. AMW'17 

  Access Paper or Ask Questions

Enforcing Relational Matching Dependencies with Datalog for Entity Resolution


Feb 25, 2017
Zeinab Bahmani, Leopoldo Bertossi

* New revisions applied. To appear in Proc. FLAIRS'17 

  Access Paper or Ask Questions

ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution


Jan 18, 2017
Zeinab Bahmani, Leopoldo Bertossi, Nikolaos Vasiloglou

* Final journal version, with some minor technical corrections. Extended version of arXiv:1508.06013 

  Access Paper or Ask Questions

From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back


Oct 23, 2016
Leopoldo Bertossi, Babak Salimi

* To appear in Theory of Computing Systems. By invitation to special issue with extended papers from ICDT 2015 (paper arXiv:1412.4311) 

  Access Paper or Ask Questions

A Hybrid Approach to Query Answering under Expressive Datalog+/-


Jul 25, 2016
Mostafa Milani, Andrea Cali, Leopoldo Bertossi

* Extended version of RR'16 paper, to appear 

  Access Paper or Ask Questions

Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations


Jul 10, 2016
Mostafa Milani, Leopoldo Bertossi

* Extended version of RR'16 paper 

  Access Paper or Ask Questions

Consistency and Trust in Peer Data Exchange Systems


Jun 06, 2016
Leopoldo Bertossi, Loreto Bravo

* To appear in Theory and Practice of Logic Programming (TPLP). It includes appendix that will be published only in electronic format 

  Access Paper or Ask Questions

Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints


Feb 20, 2016
Babak Salimi, Leopoldo Bertossi

* To appear in Proceedings Flairs, 2016 

  Access Paper or Ask Questions

Query-Answer Causality in Databases: Abductive Diagnosis and View-Updates


Sep 20, 2015
Babak Salimi, Leopoldo Bertossi

* To appear in Proc. UAI Causal Inference Workshop, 2015. One example was fixed 

  Access Paper or Ask Questions

Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+-


Apr 13, 2015
Mostafa Milani, Leopoldo Bertossi

* To appear in Proc. Alberto Mendelzon WS on Foundations of Data Management (AMW15) 

  Access Paper or Ask Questions