| Publication | Date of Publication | Type |
|---|
Declarative approaches to counterfactual explanations for classification
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
| Efficient computation of shap explanation scores for neural network classifiers via knowledge compilation | 2024-05-29 | Paper |
Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification
Inductive Logic Programming | 2023-08-03 | Paper |
Score-based explanations in data management and machine learning: an answer-set programming approach to counterfactual analysis
Reasoning Web. Declarative Artificial Intelligence | 2023-08-03 | Paper |
Measuring and computing database inconsistency via repairs
Lecture Notes in Computer Science | 2023-07-28 | Paper |
| The Shapley Value of Tuples in Query Answering. | 2023-02-07 | Paper |
Score-Based Explanations in Data Management and Machine Learning
1517.68324 | 2022-12-22 | Paper |
Datalog: Bag Semantics via Set Semantics
(available as arXiv preprint) | 2022-07-21 | Paper |
The Shapley value of tuples in query answering
(available as arXiv preprint) | 2021-10-08 | Paper |
| The Shapley value of tuples in query answering | 2021-10-08 | Paper |
An ASP-based approach to counterfactual explanations for classification
(available as arXiv preprint) | 2021-02-23 | Paper |
| Repair-based degrees of database inconsistency | 2019-10-10 | Paper |
Characterizing and computing causes for query answers in databases from database repairs and repair programs
(available as arXiv preprint) | 2018-06-26 | Paper |
| Characterizing and computing causes for query answers in databases from database repairs and repair programs | 2018-06-26 | Paper |
Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
International Journal of Approximate Reasoning | 2017-11-17 | Paper |
Consistency and trust in peer data exchange systems
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
From causes for database queries to repairs and model-based diagnosis and back
Theory of Computing Systems | 2017-09-20 | Paper |
From causes for database queries to repairs and model-based diagnosis and back
Theory of Computing Systems | 2017-09-20 | Paper |
From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back
(available as arXiv preprint) | 2017-06-13 | Paper |
ERBlox: combining matching dependencies with machine learning for entity resolution
International Journal of Approximate Reasoning | 2017-03-29 | Paper |
Data cleaning and query answering with matching dependencies and matching functions
Theory of Computing Systems | 2013-08-23 | Paper |
Data cleaning and query answering with matching dependencies and matching functions
Theory of Computing Systems | 2013-08-23 | Paper |
Matching dependencies: semantics and query answering
Frontiers of Computer Science | 2012-11-15 | Paper |
The Semantics of Consistency and Trust in Peer Data Exchange Systems
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Deductive databases for computing certain and consistent answers from mediated data integration systems
Journal of Applied Logic | 2005-08-22 | Paper |
Inconsistency Tolerance
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Inconsistency Tolerance
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 2080021 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080463 (Why is no real title available?) | 2004-08-04 | Paper |
Database repairs and analytic tableaux
Annals of Mathematics and Artificial Intelligence | 2004-03-15 | Paper |
Scalar aggregation in inconsistent databases.
Theoretical Computer Science | 2003-08-17 | Paper |
| scientific article; zbMATH DE number 1954112 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1950743 (Why is no real title available?) | 2003-07-20 | Paper |
| scientific article; zbMATH DE number 1950744 (Why is no real title available?) | 2003-07-20 | Paper |
| scientific article; zbMATH DE number 1761428 (Why is no real title available?) | 2002-06-30 | Paper |
| scientific article; zbMATH DE number 1696845 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1696846 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1536576 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1390348 (Why is no real title available?) | 2000-04-03 | Paper |
Circumscription in Data Logic for Data Type Specification
Journal Of Logic And Computation | 1994-12-18 | Paper |
| scientific article; zbMATH DE number 611097 (Why is no real title available?) | 1994-07-26 | Paper |
| scientific article; zbMATH DE number 148417 (Why is no real title available?) | 1993-04-01 | Paper |
The formal language L<sub>t</sub> and topological products
Mathematical Logic Quarterly | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4030886 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4004537 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3908414 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3998850 (Why is no real title available?) | 1985-01-01 | Paper |
