Leopoldo Bertossi
Carleton University
H-index: 35
North America-Canada
Top articles of Leopoldo Bertossi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The Distributional Uncertainty of the SHAP score in Explainable Machine Learning | arXiv preprint arXiv:2401.12731 | Santiago Cifuentes Leopoldo Bertossi Nina Pardal Sergio Abriola Maria Vanina Martinez | 2024/1/23 |
The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits | Leopoldo Bertossi | 2023/4/5 | |
The shapley value in database management | ACM Sigmod Record | Leopoldo Bertossi Benny Kimelfeld Ester Livshits Mikaël Monet | 2023/8/10 |
Query Games in Databases | ACM Sigmod Record | Ester Livshits Leopoldo Bertossi Benny Kimelfeld Moshe Sebag | 2021/6/17 |
Declarative approaches to counterfactual explanations for classification | Theory and Practice of Logic Programming | Leopoldo Bertossi | 2023/5 |
Explanation Scores in Data Management | Ontario DataBase Day–Program | Leopoldo Bertossi | 2023/12/13 |
Opening Up the Neural Network Classifier for Shap Score Computation | arXiv preprint arXiv:2303.06516 | Leopoldo Bertossi Jorge E Leon | 2023/3/11 |
Attribution-scores and causal counterfactuals as explanations in artificial intelligence | Leopoldo Bertossi | 2023/4/28 | |
From database repairs to causality in databases and beyond | Leopoldo Bertossi | 2023/9/22 | |
Extending sticky-Datalog±via finite-position selection functions: Tractability, algorithms, and optimization | Information Systems | Leopoldo Bertossi Mostafa Milani | 2023/3/1 |
Reasoning Web. Causality, Explanations and Declarative Knowledge: 18th International Summer School 2022, Berlin, Germany, September 27–30, 2022, Tutorial Lectures | Leopoldo Bertossi Guohui Xiao | 2023/4/27 | |
Compiling neural network classifiers into Boolean circuits for efficient shap-score computation | Proceedings of AMW | Leopoldo Bertossi Jorge E León | 2023 |
Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation | Leopoldo Bertossi Jorge E León | 2023/9/20 | |
The Shapley value of tuples in query answering | Logical Methods in Computer Science | Ester Livshits Leopoldo Bertossi Benny Kimelfeld Moshe Sebag | 2021/9/2 |
Attribution-Scores in Data Management and Explainable Machine Learning | Leopoldo Bertossi | 2023/8/28 | |
On the complexity of SHAP-score-based explanations: Tractability via knowledge compilation and non-approximability results | Journal of Machine Learning Research | Marcelo Arenas Pablo Barceló Leopoldo Bertossi Mikaël Monet | 2023 |
Answer-Set Programs for Repair Updates and Counterfactual Interventions | arXiv preprint arXiv:2209.12110 | Leopoldo Bertossi | 2022/9/25 |
3 Overview of Talks 3.1 SHAP Explanations with Booleans Circuit Classifiers | Extending the Synergies Between SAT and Description Logics | Leopoldo Bertossi | 2022/2 |
Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases | arXiv preprint arXiv:2108.08423 | Leopoldo Bertossi | 2021/8/19 |
Semantics in Databases (Dagstuhl Seminar 01021) | Leopoldo Bertossi Gyula OH Katona Klaus-Dieter Schewe Bernhard Thalheim | 2021 |