Leopoldo E. Bertossi

Orcid: 0000-0002-1144-3179

Affiliations:
  • Adolfo Ibáñez University, Santiago, Chile
  • Carleton University, Ottawa, Canada


According to our database1, Leopoldo E. Bertossi authored at least 144 papers between 1990 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The Shapley Value in Database Management.
SIGMOD Rec., June, 2023

Declarative Approaches to Counterfactual Explanations for Classification.
Theory Pract. Log. Program., May, 2023

Extending sticky-Datalog± via finite-position selection functions: Tractability, algorithms, and optimization.
Inf. Syst., March, 2023

From Database Repairs to Causality in Databases and Beyond.
Trans. Large Scale Data Knowl. Centered Syst., 2023

On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
J. Mach. Learn. Res., 2023

Opening Up the Neural Network Classifier for Shap Score Computation.
CoRR, 2023

Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Compiling Neural Network Classifiers into Boolean Circuits for Efficient Shap-Score Computation (short paper).
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

Attribution-Scores in Data Management and Explainable Machine Learning.
Proceedings of the Advances in Databases and Information Systems, 2023

2022
Answer-Set Programs for Repair Updates and Counterfactual Interventions.
CoRR, 2022

Attribution-Scores and Causal Counterfactuals as Explanations in Artificial Intelligence.
Proceedings of the Reasoning Web. Causality, Explanations and Declarative Knowledge, 2022

2021
Query Games in Databases.
SIGMOD Rec., 2021

The Shapley Value of Tuples in Query Answering.
Log. Methods Comput. Sci., 2021

Specifying and computing causes for query answers in databases via database repairs and repair-programs.
Knowl. Inf. Syst., 2021

Reasoning about Counterfactuals and Explanations: Problems, Results and Directions.
CoRR, 2021

Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases.
CoRR, 2021

Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis.
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2021

Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract).
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

Answer-Set Programs for Reasoning About Counterfactual Interventions and Responsibility Scores for Classification.
Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Data Quality and Explainable AI.
ACM J. Data Inf. Qual., 2020

The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits.
CoRR, 2020

Score-Based Explanations in Data Management and Machine Learning.
Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

Causality-based Explanation of Classification Outcomes.
Proceedings of the Fourth Workshop on Data Management for End-To-End Machine Learning, 2020

An ASP-Based Approach to Counterfactual Explanations for Classification.
Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

2019
Database Repairs and Consistent Query Answering: Origins and Further Developments.
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

Repair-Based Degrees of Database Inconsistency.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Datalog: Bag Semantics via Set Semantics.
Proceedings of the 22nd International Conference on Database Theory, 2019

2018
Null Values.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Inconsistent Databases.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Database Repair.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Consistent Query Answering.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Ontological Multidimensional Data Models and Contextual Data Quality.
ACM J. Data Inf. Qual., 2018

Repair-Based Degrees of Database Inconsistency: Computation and Complexity.
CoRR, 2018

Measuring and Computing Database Inconsistency via Repairs.
Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

Causality in Databases: Answer-Set Programs and Integrity Constraints.
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2017
Consistency and trust in peer data exchange systems.
Theory Pract. Log. Program., 2017

From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back.
Theory Comput. Syst., 2017

Causes for query answers from databases: Datalog abduction, view-updates, and integrity constraints.
Int. J. Approx. Reason., 2017

ERBlox: Combining matching dependencies with machine learning for entity resolution.
Int. J. Approx. Reason., 2017

Ontological Multidimensional Data Models and Contextual Data Qality.
CoRR, 2017

RuleML (Web Rule Symposium) 2016 Report.
AI Mag., 2017

The Causality/Repair Connection in Databases: Causality-Programs.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Enforcing Relational Matching Dependencies with Datalog for Entity Resolution.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

The Ontological Multidimensional Data Model in Quality Data Specification and Extraction - (Extended Abstract and Progress Report).
Proceedings of the Data Analytics - 31st British International Conference on Databases, 2017

The Ontological Multidimensional Data Model.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016
A Hybrid Approach to Query Answering under Expressive Datalog+/-.
CoRR, 2016

Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations.
CoRR, 2016

Complexity of Consistent Query Answering in Databases under Cardinality-Based and Incremental Repair Semantics (extended version).
CoRR, 2016

Contexts and Data Quality Assessment.
CoRR, 2016

Quantifying Causal Effects on Query Answering in Databases.
Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

A Hybrid Approach to Query Answering Under Expressive Datalog ^\pm.
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Extending Weakly-Sticky Datalog<sup>±</sup>: Query-Answering Tractability and Optimizations.
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints.
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

Query Answering on Expressive Datalog+/- Ontologies.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015
Query-Answer Causality in Databases: Abductive Diagnosis and View Updates.
Proceedings of the UAI 2015 Workshop on Advances in Causal Inference co-located with the 31st Conference on Uncertainty in Artificial Intelligence (UAI 2015), 2015

Ontology-Based Multidimensional Contexts with Applications to Quality Data Specification and Extraction.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+-.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Causality in Databases: The Diagnosis and Repair Connections.
CoRR, 2014

Unifying Causality, Diagnosis, Repairs and View-Updates in Databases.
CoRR, 2014

Tractable vs. Intractable Cases of Query Answering under Matching Dependencies.
Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014

Extending contexts with ontologies for multidimensional data quality assessment.
Proceedings of the Workshops Proceedings of the 30th International Conference on Data Engineering Workshops, 2014

Causality in Databases, Database Repairs, and Consistency-Based Diagnosis (extended abstract).
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

2013
Achieving Data Privacy through Secrecy Views and Null-Based Virtual Updates.
IEEE Trans. Knowl. Data Eng., 2013

Data Cleaning and Query Answering with Matching Dependencies and Matching Functions.
Theory Comput. Syst., 2013

Consistent query answering under spatial semantic constraints.
Inf. Syst., 2013

Tractable vs. Intractable Cases of Matching Dependencies for Query Answering under Entity Resolution.
CoRR, 2013

A multidimensional data model with subcategories for flexibly capturing summarizability.
Proceedings of the Conference on Scientific and Statistical Database Management, 2013

On the Complexity of Query Answering under Matching Dependencies for Entity Resolution.
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

Generic and Declarative Approaches to Data Quality Management.
Proceedings of the Handbook of Data Quality, Research and Practice., 2013

2012
Matching dependencies: semantics and query answering.
Frontiers Comput. Sci., 2012

Tractable Cases of Clean Query Answering under Entity Resolution via Matching Dependencies.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Declarative Entity Resolution via Matching Dependencies and Answer Set Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Repair-oriented relational schemas for multidimensional databases.
Proceedings of the 15th International Conference on Extending Database Technology, 2012

Query Rewriting Using Datalog for Duplicate Resolution.
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

Multidimensional Contexts for Data Quality Assessment.
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

2011
Database Repairing and Consistent Query Answering
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01883-1, 2011

Query Answering under Matching Dependencies for Data Cleaning: Complexity and Algorithms
CoRR, 2011

Tutorial: Semantic Constraints for Data Quality Assessment and Cleaning.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Matching dependencies with arbitrary attribute values: semantics, query answering and integrity constraints.
Proceedings of the 4th International Workshop on Logic in Databases, 2011

Structural Repairs of Multidimensional Databases.
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011

2010
The consistency extractor system: Answer set programs for consistent query answering in databases.
Data Knowl. Eng., 2010

Data Quality Is Context Dependent.
Proceedings of the Enabling Real-Time Business Intelligence - 4th International Workshop, 2010

On the Decidability of Consistent Query Answering.
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009
Null Values.
Proceedings of the Encyclopedia of Database Systems, 2009

Inconsistent Databases.
Proceedings of the Encyclopedia of Database Systems, 2009

Database Repair.
Proceedings of the Encyclopedia of Database Systems, 2009

Consistent Query Answering.
Proceedings of the Encyclopedia of Database Systems, 2009

Designing, Specifying and Querying Metadata for Virtual Data Integration Systems.
Proceedings of the Data Management in Grid and Peer-to-Peer Systems, 2009

Consistent Query Answering in Data Warehouses.
Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, 2009

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract).
Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, 2009

2008
The complexity and approximation of fixing numerical attributes in databases under integrity constraints.
Inf. Syst., 2008

Information Sharing Agents in a Peer Data Exchange System.
Proceedings of the Data Management in Grid and Peer-to-Peer Systems, 2008

An inconsistency tolerant approach to querying spatial databases.
Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008

2007
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs.
Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

The Semantics of Consistency and Trust in Peer Data Exchange Systems.
Proceedings of the Logic for Programming, 2007

A Hybrid Approach to Operating System Discovery using Answer Set Programming.
Proceedings of the Integrated Network Management, 2007

Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics.
Proceedings of the Database Theory, 2007

2006
Consistent query answering in databases.
SIGMOD Rec., 2006

Semantically Correct Query Answers in the Presence of Null Values.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

Consistent Query Answering By Minimal-Size Repairs.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

2005
Exchange, integration, and consistency of data: report on the ARISE/NISR workshop.
SIGMOD Rec., 2005

Deductive databases for computing certain and consistent answers from mediated data integration systems.
J. Appl. Log., 2005

Data Cleansing for Numerical Data Sets.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Optimizing repair programs for consistent query answering.
Proceedings of the XXV International Conference of the Chilean Computer Science Society, 2005

Fixing Inconsistent Databases by Updating Numerical Attributes.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Introduction to Inconsistency Tolerance.
Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Consistent Query Answers in Virtual Data Integration Systems.
Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

2004
Database Repairs and Analytic Tableaux.
Ann. Math. Artif. Intell., 2004

Query Answering in Peer-to-Peer Data Exchange Systems.
Proceedings of the Current Trends in Database Technology - EDBT 2004 Workshops, 2004

Consistent query answering under inclusion dependencies.
Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004

2003
Answer sets for consistent query answering in inconsistent databases.
Theory Pract. Log. Program., 2003

Scalar aggregation in inconsistent databases.
Theor. Comput. Sci., 2003

Logic Programs for Querying Inconsistent Databases.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Logic Programs for Consistently Querying Data Integration Systems.
Proceedings of the IJCAI-03, 2003

Query Answering in Inconsistent Databases.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

2002
Hypothetical Temporal Reasoning in Databases.
J. Intell. Inf. Syst., 2002

Repairing databases with annotated predicate logic.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Consistent Answers from Integrated Data Sources.
Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

Analytic Tableaux and Database Repairs: Foundations.
Proceedings of the Foundations of Information and Knowledge Systems, 2002

2001
Semantics in Databases.
Proceedings of the Semantics in Databases, 2001

Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets.
Proceedings of the Semantics in Databases, 2001

Scalar Aggregation in FD-Inconsistent Databases.
Proceedings of the Database Theory, 2001

2000
Evolution and Change in Data Management - Issues and Directions.
SIGMOD Rec., 2000

Specifying and Querying Database Repairs using Logic Programs with Exceptions.
Proceedings of the Flexible Query Answering Systems, 2000

Querying Inconsistent Databases: Algorithms and Implementation.
Proceedings of the Computational Logic, 2000

Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
Proceedings of the Computational Logic, 2000

1999
Consistent Query Answers in Inconsistent Databases.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Specifying Active Rules for Database Maintenance.
Proceedings of the Transactions and Database Dynamics, 1999

Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus.
Proceedings of the Advances in Conceptual Modeling: ER '99 Workshops on Evolution and Change in Data Management, 1999

1998
SCDBR: An Automated Reasoner for Specifications of Database Updates.
J. Intell. Inf. Syst., 1998

Specifying Active Databases in the Situation Calculus.
Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Query Evaluation in Almost Consistent Databases using Residues.
Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Hypothetical Temporal Queries in Databases.
Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, 1998

The Dynamics of Database Views.
Proceedings of the Transactions and Change in Logic Databases, 1998

1996
Towards Efficient Partial Evaluation in Logic Programming.
New Gener. Comput., 1996

Automating Proofs of Integrity Constraints in Situation Calculus.
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995
Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem.
Proceedings of the Advances in Artificial Intelligence, 1995

1994
Circumscription in Data Logic for Data Type Specification.
J. Log. Comput., 1994

Circumscription and Generic Mathematical Objects.
Fundam. Informaticae, 1994

On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates.
Proceedings of the Temporal Logic, First International Conference, 1994

1990
The formal language L<sub>t</sub> and topological products.
Math. Log. Q., 1990


  Loading...