2024:
S. Cifuentes, L. Bertossi, N. Pardal, S. Abriola, M. V. Martinez and M. Romero. “The
Distributional Uncertainty of the SHAP Score in Explainable Machine Learning”. To
appear in Proc. 27th European Conference on Artificial Intelligence (ECAI-2024). Extended version with appendices here.
F. Azua and L. Bertossi. "The Generalized Causal-Effect Score in Data Management (short paper)". Proceedings of the Conference on Governance, Understanding and Integration of Data for Effective and Responsible AI (Guide-AI'24), 2024 pp. 32-35.
paper.
S. Cifuentes, L. Bertossi, N. Pardal, S. Abriola, M. V.
Martinez and M. Romero. "The Distributional Uncertainty of the SHAP score in Explainable Machine
Learning". ArXiv paper 2401.12731. 2024.
2023:
Leopoldo Bertossi. "Attribution-Scores in Data Management and Explainable Machine Learning". Invited paper in Proc. ADBIS'23. Springer LNCS 13985, 2023, pp. 16-33. arXiv 2308.00184.
Leopoldo Bertossi and Jorge E. Leon. "Efficient Computation of Shap Explanation Scores for
Neural Network Classifiers via Knowledge Compilation". arXiv 2303.06516. Proc. of JELIA'23, Springer LNCS 14281, 2023, pp. 49-64. Considerably revised version of previous arXiv paper:
"Opening Up the Neural Network Classifier for Shap Score Computation". 2023.
L. Bertossi. "From Database Repairs to Causality in Databases and Beyond". Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV (TLDKS), Springer LNCS 14160, 2023, pp. 119-131. Number dedicated to `Bases des Donnees Avances' (BDA'22). arXiv 2306.09374
L. Bertossi, B. Kimelfeld, E. Livshits and M. Monet. "The Shapley Value in Database Management". ACM Sigmod Record, 2023, 52(2):6-17.
L. Bertossi. "Declarative Approaches to Counterfactual Explanations for Classification". Theory and Practice of Logic Programming, 23 (3): 559–593, 2023. Published online by Cambridge University Press: 27 December 2021.
Leopoldo Bertossi and Guohui Xiao (eds.). "Reasoning Web: Causality, Explanations and Declarative Knowledge". Springer LNCS 13759, 2023. 219 pp.
Leopoldo Bertossi and Jorge E. Leon. "Compiling Neural Network Classifiers into Boolean Circuits for Efficient Shap-Score Computation" (short paper). Proc. AMW 2023, CEUR-WS Proc. Vol. 3409.
Marcelo Arenas, Pablo Barcelo, Leopoldo Bertossi, Mikael Monet. "On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results". Paper. Journal of Machine Learning Research, 2023, 24(63):1-58.
Leopoldo Bertossi and Mostafa Milani. "Extending Sticky-Datalog+- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization".
Information Systems, Volume 114, 2023, 102156.
https://doi.org/10.1016/j.is.2022.102156.
Leopoldo Bertossi. "Attribution-Scores and Causal Counterfactuals as
Explanations in Artificial Intelligence". In 'Reasoning Web: Causality,
Explanations and Declarative Knowledge'. Springer LNCS 13759, 2023. arXiv 2303.02829.
2022:
Leopoldo Bertossi. "Answer-Set Programs for Repair Updates and
Counterfactual Interventions". Corr arXiv Paper 2209.12110.
Leopoldo Bertossi. "Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis". In: Simkus M., Varzinczak I. (eds) Reasoning Web. Declarative Artificial Intelligence. Reasoning Web 2021. Lecture Notes in Computer Science, vol 13100. Springer, 2022, pp. 145-184. Posted as Corr arXiv Paper 2106.10562.
Leopoldo Bertossi and Gabriela Reyes. "Answer-Set Programs for Reasoning about Counterfactual Interventions and
Responsibility Scores for Classification". In "Inductive Logic Programming", Springer LNAI 13191, 2022, pp. 41-56. Proc. 1st International Joint
Conference on Learning and Reasoning (IJCLR'21). Extended version posted as Corr arXiv Paper 2107.10159.
2021:
L. Bertossi. Declarative Approaches to Counterfactual Explanations for Classification. Posted as Corr arXiv Paper 2011.07423, 2021.
L. Bertossi. "Second-Order Specifications and Quantifier Elimination for Consistent
Query Answering in Databases". Proc. Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE'21), collocated with
KR 2021. CEUR Proceedings Vol-3009, pp. 28-36, 2021. Corr Arxiv Paper cs.DB/2108.08423 (extended version of the paper).
E. Livshits, L.
Bertossi, B. Kimelfeld and M. Sebag. "The Shapley Value of Tuples in Query
Answering". Logical Methods in Computer Science, 2021, 17(3):22.1-22.33. Corr Arxiv Paper cs.DB/1904.08679.
Leopoldo Bertossi and Mostafa Milani. "Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization". Posted as Corr arXiv Paper 2108.00903. (Version 2)
L. Bertossi. "Reasoning about Counterfactuals and Explanations: Problems, Results and Directions". In Informal Proceedings of 2nd Workshop on Explainable Logic-Based Artificial Intelligence (XLoKR'21). Co-located with KR'21. Posted as Corr arXiv Paper 2108.11004.
Ester Livshits, Leopoldo Bertossi, Benny Kimelfeld, Moshe Sebag. "Query Games in Databases". ACM Sigmod Record, 2021, 50(1):78-85.
Leopoldo Bertossi. "Specifying and Computing Causes for Query Answers in Databases via Database Repairs and Repair Programs". Knowledge and Information Systems, 2021, 63(1):199-231. https://doi.org/10.1007/s10115-020-01516-6.
Marcelo Arenas, Pablo Barcelo, Leopoldo Bertossi, Mikael Monet. "The Tractability of SHAP-scores over Deterministic and Decomposable
Boolean Circuits". Proc. AAAI 2021. Posted as Corr arXiv Paper arxiv:2007.14045 [cs.LG], 2020.
2020:
L. Bertossi. "Score-Based Explanations in Data Management and Machine Learning". Proc. Int. Conf. Scalable Uncertainty Management (SUM 20), Springer LNCS 2322, pp. 17-31. Posted as Corr arXiv Paper 2007.12799 [cs.LG], 2020.
L. Bertossi. "An ASP-Based Approach to Counterfactual Explanations for Classification". Proc. RuleML-RR'20, Springer LNCS 12173, pp. 70-81. Posted as Corr arXiv Paper arxiv:2004.13237 [cs.LG], 2020.
Leopoldo Bertossi. "Specifying and Computing Causes for Query Answers in Databases via Database Repairs and Repair Programs". Corr Arxiv Paper cs.DB/1712.01001. Revised and extended version of "Characterizing and Computing Causes for Query Answers in Databases from
Database Repairs and Repair Programs", in Proc. FoIKs'18.
L. Bertossi and F. Geerts. "Data Quality and Explainable AI".
ACM Journal of Data and Information Quality, 2020, 12(2):1-9. paper.
L. Bertossi, J. Li, M. Schleich, D. Suciu and Z. Vagena. "Causality-based Explanation of Classification Outcomes". Proc. 4th International Workshop on "Data Management for End-to-End Machine Learning" (DEEM) at ACM SIGMOD/PODS, June 2020, Article 6, pp 1-10. https://doi.org/10.1145/3399579.3399865. Posted as Corr Arxiv Paper arXiv:2003.06868.
E. Livshits, L.
Bertossi, B. Kimelfeld and M. Sebag. "The Shapley Value of Tuples in Query
Answering". In Proc. ICDT 2020.
2019:
Bertossi, L. "Database Repairs and Consistent Query Answering: Origins and Further Developments". Gems of PODS paper. In Proc. PODS 2019. paper. 11 pp.
Ester Livshits, Leopoldo Bertossi, Benny Kimelfeld and Moshe Sebag. "The Shapley Value of Tuples in Query Answering" (abstract paper). Proceedings 3rd International Workshop on
Enumeration Problems & Applications (WEPA), 28-31 October 2019, Japan. 3 pp. paper.
Leopoldo Bertossi. "Repair-Based Degrees of Database Inconsistency". Proc. LPNMR'19, Springer LNCS 11481, pp. 195-209. Extended version as Corr Arxiv paper cs.DB/1809.10286.
Leopoldo Bertossi, Georg Gottlob and Reinhard Pichler. "Datalog: Bag Semantics via Set Semantics". Proc. ICDT'19. Extended version posted as Corr Arxiv Paper cs.DB/1803.06445.
2018:
Leopoldo Bertossi. "Repair-Based Degrees of Database Inconsistency: Computation and Complexity". Corr Arxiv Paper cs.DB/1809.10286.
L. Bertossi. "Measuring and Computing Database Inconsistency via
Repairs". Conference submission as short paper. Corr Arxiv Paper cs.DB/1804.08834. In Proc. SUM'18, Springer, LNAI 11142, 2018.
Bertossi, L. "Characterizing and Computing Causes for Query Answers in Databases from
Database Repairs and Repair Programs". Proc. FoIKs, 2018, Springer LNCS 10833, pp. 55-76. Revised and extended version as Corr Arxiv Paper cs.DB/1712.01001.
L. Bertossi. "Causality in Databases: Answer-Set Programs and
Integrity Constraints" (short paper). Proc. Alberto Mendelzon International Workshop on Foundations of Data Management, 2018. here. CEUR-WS Proceedings, Vol-2100, 2018.
L. Bertossi and M. Milani. "Ontological Multidimensional Data Models and Contextual Data Quality". Journal of Data and Information Quality, 9(3):14.1-14.36. Posted as Corr Arxiv Paper cs.DB/1704.00115.
2017:
Bertossi, L. and Salimi, B. "Causes for Query Answers from Databases: Datalog Abduction, View-Updates, and Integrity Constraints". International Journal of Approximate Reasoning, 2017, 90:226-252.
Corr Arxiv Paper cs.DB/1611.01711.
Bertossi, L. and Salimi, B. "From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back". Theory of Computing Systems, 2017, 61(1):191-232. Corr Arxiv Paper cs.DB/1507.00257.
L. Bertossi. "The Causality/Repair Connection in Databases: Causality-Programs".
Proc. Scalable Uncertainty Management (SUM'17). Springer LNCS 10564, 2017.
Posted as Corr Arxiv Paper cs.DB//1704.05136.
L. Bertossi and M. Milani. "The Ontological Multidimensional Data Model
in Quality Data Specification and Extraction
(extended abstract and progress report)". Proc. BICOD'17, Springer LNCS 10365, pp. 126-130. bicod17.pdf.
L. Bertossi and M. Milani. "The Ontological Multidimensional Data Model
(extended abstract)". Posted as Corr Arxiv Paper cs.DB/1703.03524. Proc. AMW'17, CEUR-WS Proc. Vol-1912, 2017.
Leopoldo Bertossi and Loreto Bravo. "Consistency and Trust in Peer Data Exchange
Systems". Theory and Practice of Logic Programming,
Volume 17, Issue 2, March 2017, pp. 148-204. camReadP2PtplpWithApp2.pdf (includes online appendix). (Also posted as Corr Arxiv Paper cs.DB/1606.01930)
Bahmani, Z. and Bertossi, L. "Enforcing Relational Matching Dependencies with Datalog for Entity Resolution". Proc. FLAIRS, 2017.
Zeinab Bahmani, Leopoldo Bertossi and Nikolaos Vasiloglou. "ERBlox: Combining Matching Dependencies with
Machine Learning for Entity Resolution". International Journal of Approximate Reasoning, 2017, 83:118-141. Corr Arxiv Paper cs.DB/1602.02334.
2016:
Leopoldo Bertossi and Flavio Rizzolo. "Contexts and Data Quality Assessment".
Corr Arxiv Paper cs.DB/1608.04142.
Mostafa Milani and Leopoldo Bertossi. "Extending Weakly-Sticky Datalog+/-:
Query-Answering Tractability and Optimization". Proc. RR'16. Springer LNCS 9898, pp. 128-143. Version including appendix: Corr Arxiv Paper cs.DB/1607.02682.
Andrei Lopatenko and Leopoldo Bertossi. "Complexity of Consistent Query Answering in Databases under
Cardinality-Based and Incremental Repair Semantics (extended version)". Extended version
of ICDT 2007 paper. Corr Arxiv Paper cs.DB/1605.07159.
Mostafa Milani, Andrea Cali, and Leopoldo Bertossi. "A Hybrid Approach to Query Answering under Expressive Datalog+/-". Proc. RR'16. Springer LNCS 9898, pp. 144-158. Version with appendix: Corr Arxiv Paper cs.DB/1604.06770.
Mostafa Milani, Andrea Cali, and Leopoldo Bertossi. "Query Answering on Expressive Datalog+/- Ontologies". Proc. AMW 2016. paper. CEUR-WS Proc. Vol-1644, 2016.
Salimi, B., Bertossi, L., Suciu, D. and Van den Broeck, G. "Quantifying Causal Effects on Query Answering in Databases". Proc. 8th USENIX Workshop on the Theory and Practice of Provenance (TaPP'16), June 8-9, Washington D.C., USA.
Corr Arxiv Paper cs.DB/1603.02705.
Salimi, B. and Bertossi, L. "Causes for Query Answers from Databases, Datalog Abduction and
View-Updates: The Presence of Integrity Constraints". Proc. FLAIRS, 2016. Posted as Corr Arxiv Paper
cs.DB/1602.06458. Slightly extended version here.
2015:
Zeinab Bahmani, Leopoldo Bertossi and Nikolaos Vasiloglou. "ERBlox: Combining Matching Dependencies with
Machine Learning for Entity Resolution". Proc. SUM'15, 2015, Springer LNAI 9310, pp. 399-414. LB28.pdf.
Salimi, B. and Bertossi, L. "Query-Answer Causality in Databases: Abductive Diagnosis and
View-Updates". Proc. of the UAI'15 Workshop on Causal Inference. paper. CEUR-WS Proc. Vol-1504, 2015. (Also posted as Corr Arxiv Paper cs.DB/1506.04299.pdf).
Milani, M. and Bertossi, L.
"Ontology-Based Multidimensional Contexts with
Applications to Quality Data Specification and
Extraction". In
'Rule Technologies: Foundations, Tools, and Applications' (Proc. RuleML'15).
Springer LNCS 9202, 2015, pp. 277-293. model53CR2.pdf. Extended
version: obmcExt.pdf. errata.
Milani, M. and Bertossi, L. "Tractable Query Answering and Optimization
for Extensions of Weakly-Sticky Datalog+-". Proc. Alberto Mendelzon on Foundations
of Data Management (AMW'15). CEUR-WS Proceedings, Vol. 1378, 2015, pp. 101-105.
papAmw2015Proceedings.pdf. Posted as Corr Arxiv Paper cs.DB/1504.03386.
Salimi, B. and Bertossi, L. "From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back". In Proc. 18th International Conference on Database Theory (ICDT 2015). paper. Extended version at Corr Arxiv Paper cs.DB/1412.4311.
2014:
Bertossi, L. and Gardezi, J. "Tractable vs. Intractable Cases of Matching Dependencies for Query Answering under Entity Resolution". Proc. of
International Conference on Scalable Uncertainty Management (SUM'14), Springer LNCS 8720, 2014, pp 51-65. jaffSum14CamRead.pdf.
Bertossi, L. and Salimi, B. "Unifying Causality, Diagnosis, Repairs and
View-Updates in Databases". Presented at the First International PODS-Workshop on Big Uncertain Data (BUDA 2014).
paper.
Corr Arxiv Paper cs.DB/1405.4228.
Salimi, B. and Bertossi, L. "Causality in Databases: The Diagnosis and Repair Connections". Presented at the
15th International Workshop on Non-Monotonic Reasoning (NMR 2014). Corr Arkiv Paper cs.DB/1404.6857, 2014.
Bertossi, L. and Salimi, B. "Causality in Databases, Database Repairs, and
Consistency-Based Diagnosis
(extended abstract)". Proc. AMW 2014. amw14cr.pdf. CEUR-WS Proceedings, Vol. 1189, 2014.
Milani, M., Bertossi, L. and Ariyan, S. "Extending Contexts with Ontologies for Multidimensional
Data Quality Assessment". Proc. 5th International Workshop on
Data Engineering meets the Semantic Web (DESWeb). Data Engineering Workshops (ICDEW), 2014 IEEE 30th International Conference on Data Engineering.
pp. 242 - 247. DOI: 10.1109/ICDEW.2014.6818333. camera-ready5.pdf.
Corr ArXiv Paper cs.DB/1312.7373,
2013.
2013:
Bertossi, L. and Gardezi, J. "Tractable vs. Intractable Cases of Matching Dependencies for Query Answering under Entity Resolution".
Corr ArXiv Paper cs.DB/1309.1884, 2013.
Bertossi, L. and Li, L. "Achieving Data Privacy through Secrecy
Views and Null-Based Virtual Updates". IEEE Transactions on Knowledge and Data Engineering, 2013, 25(5):987-1000.
BertossiLi.pdf.
Ariyan, S. and Bertossi, L. "A Multidimensional Data Model with Subcategories for Flexibly Capturing Summarizability". Proc. 25th International Conference on Scientific and Statistical Database Management (SSDBM'13).
ehm-finalCamRead.pdf. Extended version: ehmExtCamRead.pdf.
Bertossi, L. and Gardezi, J. "On the Complexity of Query Answering under
Matching Dependencies for Entity Resolution (extended abstract)". In Proc. AMW 2013. CEUR Proceedings Vol-1087, 2013, 7 pp. jaffAMW13-11.pdf. Corr ArXiv paper cs.DB/1304.7854.
Bertossi, L., Kolahi, S. and Lakshmanan, L. "Data Cleaning and Query Answering with Matching Dependencies and
Matching Functions". Theory of Computing Systems,
April 2013, Volume 52, Issue 3, pp 441-482. tocsCamRead3.pdf.
Rodriguez, A., Bertossi, L. and Caniupan, M. "Consistent Query Answering under Spatial Semantic
Constraints". Information Systems (journal), 2013, 38:244-263.
resubIS.pdf.
L. Bertossi and L. Bravo. "Generic and Declarative Approaches to Data
Quality Management". In S. Sadiq (ed.), 'Handbook of Data Quality - Research and Practice', Springer-Verlag, Berlin Heidelberg, 2013, pp. 181-212.
chapterDCrev5.pdf
2012:
Gardezi, J. and Bertossi, L. "Tractable Cases of Clean Query Answering under Entity Resolution via Matching Dependencies".
SUM9.pdf. Proc. International Conference on Scalable Uncertainty Management (SUM'12), Springer LNAI 7520, pp. 180.193, 2012.
Gardezi, J. and Bertossi, L. "Query Rewriting using Datalog for Duplicate Resolution".
datalog24.pdf. Proc. "The 2nd Workshop on the
Resurgence of Datalog in Academia and Industry", (Datalog 2.0, 2012), Springer LNCS 7494, pp. 86.98, 2012.
Extended version: datalog22Long.pdf.
Malaki, A., Bertossi, L. and Rizzolo, F. "Multidimensional Contexts for Data Quality Assessment". Proc. AMW 2012. CEUR Workshop Proceedings 866. Aida22.pdf.
Gardezi, J., Bertossi, L. and Kiringa, I. "Matching Dependencies: Semantics and Query Answering ". Frontiers of
Computer
Science (Springer journal), 2012, 6(3):278-292. Frontiers6.pdf.
Bahmani, Z., Bertossi, L., Kolahi, S. and
Lakshmanan, L. "Declarative Entity Resolution via Matching Dependencies
and Answer Set Programs". Proc. KR 2012, AAAI Press, pp. 380-390.
bertossiCamReadKR12.pdf. Extended
version: extZeinab11.pdf.
Yaghmaie, M., Bertossi, L. and Ariyan, S. "Repair-Oriented Relational Schemas for Multidimensional Databases". Proc. EDBT 2012. submBertossi11V2.pdf. (Extended version: subm2011Extended.pdf).
2011:
L. Bertossi.
"Database Repairing and Consistent Query Answering" (book). Synthesis Lectures in Data Management. Morgan & Claypool, 2011.
Gardezi, J. and Bertossi, L. "Query Answering under
Matching Dependencies for Data Cleaning: Complexity and Algorithms".
Corr ArXiv paper cs.DB/1112.5908v1".
Rodriguez, A., Bertossi, L. and Caniupan, M. "Consistent Query Answering under Spatial Semantic Constraints".
Corr ArXiv paper cs.DB/1106.1478. Posted June 09, 2011.
manuscript.pdf.
Bertossi, L., Rizzolo, F. and Lei, J. "Data Quality is Context Dependent". Proc.
WS on Enabling Real-Time Business Intelligence (BIRTE 2010). Collocated with VLDB 2010. Springer LNBIP 84, 2011, pp. 52-67.
camReadFinalBirte.pdf.
Ariyan, S. and Bertossi, L. "Structural Repairs of Multidimensional Databases".
Proc. Alberto Mendelzon International WS of Foundations of Data Management (AMW'11). CEUR Workshop Proceedings, Vol. 749, 2011.
Extended version: strucRep18Ext.pdf.
Gardezi, J., Bertossi, L. and Kiringa, I. "Matching Dependencies with Arbitrary Attribute Values: Semantics, Query Answering and Integrity Constraints".
Proc. of the International Workshop on Logic in Databases (LID 2011). a5-gardezi.pdf.
Bertossi, L., Kolahi, S. and Lakshmanan, L. "Data Cleaning and Query Answering with Matching Dependencies and Matching Functions". Proc. ICDT 2011, ACM Press, 2011, 12 pages.
Corr ArXiv paper cs.DB/1008.3743v1. Posted August 23, 2010. Camera ready with proofs.
2010:
Gardezi, J., Bertossi, L. and Kiringa, I. "Matching Dependencies with Arbitrary Attribute Values: Semantics, Query Answering and Integrity Constraints". Corr ArXiv paper cs.DB/ 1008.4627v1. Posted August 26, 2010.
Arenas, M. and Bertossi, L. "On the Decidability of Consistent Query Answering".In Proc. of the Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2010). CEUR-WS, Vol. 619, pp. 10.1-10.12. decCqaCamReadAMW10.pdf.
Caniupan, M. and Bertossi, L. "The Consistency Extractor System: Answer Set Programs for
Consistent Query Answering in Databases". Data & Knowledge Engineering, 2010, 69(6):545-572. CaniupanBertossiRevisionV6.pdf.
2009:
Bertossi, L. and Jayaraman, G. "Designing, Specifying and Querying Metadata for Virtual Data Integration Systems". In
Proc. International Conference on Data Management in
Grid and P2P Systems (Globe 2009), 2009, Springer LNCS 5697, pp. 72-84. publGlobe09.pdf.
Bertossi, L. "From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)". Proc. The
Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2009),
CEUR-WS, Vol-450, 15 pp.
FrRP2CQACamRead.pdf. Extended version: FrRP2CQAext2.pdf.
Bertossi, L., Bravo, L. and Caniupan, M. "Consistent Query Answering in Data Warehouses". Proc. The
Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2009).
CEUR-WS, Vol-450, 12 pp. paperArequipa.pdf.
2008:
Rodriguez, A., Bertossi, L. and Caniupan, M. "An Inconsistency Tolerant Approach to Querying Spatial Databases". Proc. ACM GIS 2008, ACM Press, 2008, 10 pp.
acmgis148.pdf.
Bertossi, L. and Bravo, L. "Information Sharing Agents in a Peer Data Exchange System". Proc. First International Conference on Data Management in
Grid and P2P Systems (Globe 2008), Springer LNCS 5187, pp. 70-81.camReadGlobeLNCS.pdf.
Bertossi,L., Bravo,L., Franconi, E. and Lopatenko, A. "The Complexity and
Approximation of Fixing Numerical Attributes in Databases Under Integrity
Constraints". Information Systems, Vol. 33, Number 4,
June 2008, pp. 407-434. finalIS08.pdf. Extended version with appendices: longIS07.pdf.
2007:
Bertossi, L. Entries in the Encyclopedia of Database Systems (Springer) on "Inconsistent Databases", "Consistent Query Answering", "Database Repair", and "Null Values". Single file:
myContrib.pdf.
Bertossi, L. and Bravo, L. "The Semantics of Consistency and Trust in Peer
Data Exchange Systems". Proc. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 07), 2007, Springer LNCS 4790,
pp. 107-122. p2pLNCS07.pdf. Extended
version with appendix: here.
Caniupan, M. and Bertossi, L. "The Consistency Extractor System: Querying
Inconsistent Databases using Answer Set Programs". Proc. of the
Scalable Uncertainty Management Conference, Springer LNCS 4772, 2007, pp.
74-88. SUM07CamReady4.pdf
Lopatenko, A. and Bertossi, L. "Complexity of Consistent Query Answering in
Databases under Cardinality-Based and Incremental Repair Semantics".
Proc. International Conference of Database Theory (ICDT 07), 2007,
Springer LNCS 4353, pp. 179-193. camReadLNCSicdt07.pdf. (Original CoRR version (2006): paper cs.DB/0604002.) Updated extended version (2016): Corr Arxiv Paper cs.DB/1605.07159.
Gagnon, F., Esfandiari, B. and Bertossi, L.
"A Hybrid Approach to Operating System
Discovery using Answer Set Programming". Proc. 10th IFIP/IEEE
Symposium on Integrated Network Management (IM 07), IEEE Computer Society Press, 2007, pp. 391-400. IM07.pdf
2006:
Bertossi, L. "Consistent Query Answering in Databases". ACM
Sigmod Record, June 2006, 35(2):68-76.
cqaSr.pdf.
Lopatenko, A. and Bertossi, L. "Consistent Query Answering By Minimal-Size
Repairs". In Proc. 7th International Workshop on Database
and Expert Systems Applications, IEEE Computer Society Press, 2006,
pp. 558-562. (2nd International Workshop on Logical Aspects and Applications
of Integrity Constraints, LAAIC 06). laaic06v2.pdf
Bertossi, L. "Some Research Directions in Consistent Query Answering: A Vision".
Pre-Proc. EDBT Workshop on Inconsistency and Incompleteness of Data (IIDB 06),
J. Chomicki and J. Wijsen (eds.), 2006, pp. 109-113.iidbproc.pdf.
Bravo, L. and Bertossi, L. "Semantically Correct Query Answers in the Presence of
Null Values". Proc. EDBT WS on Inconsistency and Incompleteness
in Databases (IIDB 06), J. Chomicki and J. Wijsen (eds.),
Springer LNCS 4254, 2006, pp. 336-357. iidb06lncs.pdf. Proofs.
2005:
Caniupan, M. and Bertossi, L. "Optimizing Repair Programs for Consistent Query
Answering". Proc. International Conference of the Chilean Computer Science
Society (SCCC 05), IEEE Computer Society Press, 2005, pp. 3-12.
camReadSCC05.pdf.
Extended version:
"Optimizing Repair Programs and their Evaluation for Consistent Query
Answering" (with Loreto Bravo). here.
Bertossi,L., Bravo,L., Franconi, E. and Lopatenko, A. "Complexity and
Approximation of Fixing Numerical Attributes in Databases Under Integrity
Constraints". Proc. of the Databases Programming Languages
Conference (DBPL 05), Springer LNCS, volume 3774, pp. 262-278. 37740262.pdf. Extended version with proofs: camReadLNCSext.pdf.
Bertossi, L., Bravo, L., Franconi, E. and Lopatenko, A. "Fixing Inconsistent Databases by Updating Numerical Attributes". Proc. First International
Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC
2005). softV5.pdf. In Proc. DEXA 2005
Sixteenth International Workshop on Database and Expert Systems Applications,
IEEE Computer Society Press, 2005, pp. 854-860.
Bertossi,L., Bravo,L., Franconi, E. and Lopatenko, A. "Fixing Numerical
Attributes Under Integrity Constraints". Corr archiv, paper cs.DB/0503032. Posted March 15, 2005.
corr4.pdf.
Bertossi, L., Chomicki, J., Godfrey, P., Kolaitis, Ph.,
Thomo, A. and Zuzarte, C. "Exchange, Integration and Inconsistency of Data.
Report on the ARISE/NISR Workshop". ACM Sigmod Record, 2005, 34(3):87-90.
Report7.pdf.
Bravo, L. and Bertossi, L. "Disjunctive Deductive Databases for Computing Certain
and Consistent Answers to Queries from Mediated Data Integration Systems".
Journal of Applied Logic, 2005, 3(2):329-367.
sdarticle.pdf.
2004:
Bravo, L. and Bertossi, L. "Consistent Query Answering under Inclusion
Dependencies". Proc. 14th Annual IBM Centers for Advanced Studies
Conference (CASCON 2004), pp. 202-216. CaRe2Cas04.pdf.
Bertossi, L., Hunter, A. and Schaub, T. "Introduction to Inconsistency
Tolerance". In `Inconsistency Tolerance', Springer
LNCS 3300, 2004, pp. 1-14. publishedIC.pdf.
Bertossi, L. and Bravo, L. "Consistent Query Answers in Virtual Data Integration
Systems". In `Inconsistency Tolerance', Springer
LNCS 3300, 2004, pp. 42-83. camReadDag03.pdf.
Bertossi, L. and Bravo, L. "Query Answering in Peer-to-Peer Data Exchange
Systems". Proc. International (EDBT) Workshop on Peer-to-Peer Computing
& DataBases (P2P&DB 2004). In 'Current Trends in Database Technology'.
Springer LNCS 3268, 2004, pp. 478-485. published.pdf.
Posted in slightly extended version in CORR repository under: cs.DB/0401015.
Bertossi, L., Schwind, C. "Database Repairs and Analytic Tableaux".
Annals of Mathematics and Artificial Intelligence, 2004, 40(1-2): 5-35.
camreadAmai.pdf
2003:
Barcelo, P. and Bertossi, L. "Logic Programs for Querying
Inconsistent Databases". Proc. Practical Aspects of Declarative Languages
(PADL'03). V. Dahl and Ph. Wadler (eds.), Springer LNCS 2562, 2003, pp. 208-222. padl03CR.ps. proofs.
Arenas, M., Bertossi, L., Chomicki,J., He, X., Raghavan, V. and
Spinrad, J. "Scalar Aggregation in Inconsistent Databases".
Theoretical Computer Science, Volume 296, Issue 3, 2003, pp. 405-434. abchrs.pdf
Arenas, M., Bertossi, L., Chomicki, J. "Answer Sets for
Consistent Query Answers". Theory and Practice of Logic Programming,
3, 4&5, 2003, pp. 393-424. SP6.pdf .
Bertossi, L. and Chomicki, J. "Query Answering in Inconsistent Databases".
Chapter in book 'Logics for Emerging
Applications of Databases', J. Chomicki, G. Saake and R. van der Meyden (eds.),
Springer, 2003, pp. 43-83.
finalCQA.pdf .
Barcelo, P., Bertossi, L. and Bravo, L. "Characterizing and Computing
Semantically Correct Answers from Databases with Annotated Logic and Answer
Sets". Chapter in book 'Semantics in Databases', Springer
LNCS 2582, 2003, pp. 7-33. 2book10.pdf.
Complete proofs missing in the
chapter. Some typos.
Bravo, L., Bertossi, L. "Logic Programs for Consistently Querying Data
Integration Systems". Proc. International Joint Conference on Artificial Intelligence
(IJCAI'03), Morgan Kaufmann,
pp. 10-15. finalIjcai4.pdf.
Bertossi, L., Katona, G., Schewe, K.-D. and Thalheim, B. "Semantics in Databases". In 'Semantics in Databases', Springer LNCS 2582, pp. 1-6. semDBs03.pdf.
2002:
Arenas, M. and Bertossi, L. "Hypothetical Temporal Queries in Databases".
Journal of Intelligent Information Systems, 2002, Volume 19, Number 2,
pp. 231-259. fulltext.pdf
Bertossi, L., Schwind, C. "Analytic Tableaux and Database
Repairs: Foundations". Proc.
Second International Symposium on Foundations of Information and
Knowledge Systems (FoIKS 2002). In 'Foundations of Information and Knowledge Systems', Eiter, T. and Schewe, K.-D. (eds.), Springer LNCS 2284, 2002, pp. 32-48.
foiksCamRead.ps
Barcelo, P. and Bertossi, L. "Repairing Databases with Annotated Predicate
Logic". Proc. NMR'02, 2002. toul10-5.pdf (slightly corrected version)
Bertossi, L., Chomicki, J., Cortes, A., Gutierrez, C. "Consistent Answers from
Integrated Data Sources". In 'Flexible Query Answering Systems', Proc. of the
5th International Conference, FQAS 2002. T. Andreasen, A. Motro, H.
Christiansen, H. L. Larsen (eds.). Springer LNAI 2522, 2002, pp. 71-85.
fqas02-2.ps . An extended version can be found here.
2001:
Arenas, M., Bertossi, L. and Chomicki, J. "Scalar Aggregation in
FD-Inconsistent Databases".
In Database Theory - ICDT 2001 (Proc. International Conference
on Database Theory, ICDT'2001). Springer LNCS 1973, 2001, pp. 39-53.
icdt14.ps
Bertossi, L., Schwind, C. "An Analytic Tableaux based Characterization of
Database Repairs for Consistent Query Answering".
IJCAI'01 Workshop on Inconsistency in Data and Knowledge, August 2001.
camerIjcaiWs01.ps
2000:
Bertossi, L. and Pinto, J. "Specifying Active Rules for Database Maintenance".
In 'Transactions and Database Dynamics', Lecture Notes in Computer Science 1773,
Springer, 2000, pp. 112-129.
camerare6.pdf
Arenas, M., Bertossi, L., Bravo, L., Gallardo, L. and Sydow, A. "Environmental Information System for Analysis and Forecast
of Air Pollution (Application to Santiago de Chile)". Proc.
of the International Conference on Environmental Modeling and Simulation
(ICEMS), January 23-27, 2000, San Diego, California, at the
2000 SCS Western Multiconference, pp. 71-75. icems.pdf
Arenas, M., Bertossi, L. and Kifer, M. "Applications of Annotated Predicate
Calculus to Querying Inconsistent Databases". In 'Computational Logic - CL 2000', J. Lloyd et al. (eds.).
Stream: 6th International Conference on Rules and Objects in Databases
(DOOD'00). Lecture Notes in Artificial Intelligence 1861, Springer,
2000, pp. 926-941. arenDood00.pdf . Proofs are here
. Errata.
Celle, A. and Bertossi, L. "Querying Inconsistent Databases: Algorithms and
Implementation". In 'Computational Logic - CL 2000', J. Lloyd et al.
(eds.). Stream: 6th International Conference on Rules and Objects in Databases
(DOOD'2000). Lecture Notes in Artificial Intelligence 1861, Springer 2000,
pp. 942-956. cellDood00.pdf
Arenas, M., Bertossi, L. and Chomicki, J. "Specifying and Querying Database
Repairs using Logic Programs with Exceptions". In 'Flexible Query Answering Systems. Recent Developments'.
H.L. Larsen, J. Kacprzyk, S. Zadrozny, H. Christiansen (eds.),
Springer, 2000, pp. 27-41. (Proc. Fourth International Conference on
Flexible Query Answering Systems (FQAS'2000)).
lpexcep8.ps
John F. Roddick, Lina Al-Jadir, Leopoldo E. Bertossi, Marlon Dumas, Florida Estrella, Heidi Gregersen, Kathleen Hornsby, Jens Lufter, Federica Mandreoli, Tomi Mannisto, Enric Mayol, Lex Wedemeijer.
"Evolution and Change in Data Management - Issues and Directions". SIGMOD Record 29(1): 21-25 (2000) paper.
1999:
Arenas, M., Bertossi, L. and Chomicki, J. "Consistent Query Answers in
Inconsistent Databases". In Proc. ACM PODS'99, ACM Press, 1999, pp. 68-79. pods99-14.ps . Full proofs: proofspods99.ps.
Mareco, C.A. and Bertossi, L. "Specification and Implementation of Temporal
Databases in a Bitemporal Event Calculus". In 'Advances in Conceptual
Modelling', Lecture Notes in Computer Science 1727, Springer, 1999. cameraready2.ps
Bertossi, L., Pinto, J. and Valdivia, R. "Specifying Database Transactions and
Active Rules in the Situation Calculus". In 'Logical Foundations for
Cognitive Agents', F. Pirri and H. Levesque (eds.). Springer, 1999. final.ps
1998:
Bertossi, L., Arenas, M., and Ferretti, C. "SCDBR: An Automated Reasoner for
Specifications of Database Updates".
Journal of Intelligent Information Systems, 10, 3, 1998, pp. 253-280.
final-kluwer.pdf
Arenas, M. and Bertossi, L. "The Dynamics of Database Views". In book
'Transactions and Change in Logic Databases', Springer Lecture Notes in
Computer Science 1472, H. Decker, B. Freitag, M. Kifer y A. Voronkov (eds.),
1998, pp. 197-226. lncs1472.ps
Arenas, M. and Bertossi, L. "Hypothetical Temporal Queries in Databases".
Proceedings '5th International Workshop on Knowledge Representation meets
Databases: Innovative Application Programming and Query
Interfaces', Borgida, A., Chaudhuri, V., Staudt, M. (eds.).
WS at SIGMOD/PODS'98, Seattle, May 31, 1998. CEUR WS Proceedings. Proc. KRDB'98. KRDB98.ps
Arenas, M. and Bertossi, M. "Hypothetical Temporal Reasoning with History
Encoding (Extended Abstract)". In Proceedings of ESSLLI Workshop on Reasoning about
Actions: Foundations and Applications, Saarbrueken, Germany, 1998.
here.
1996:
Bertossi, L., Pinto, J., Saez, P., Kapur, D., and Subramaniam, S. "Automating
Proofs of Integrity Constraints in the Situation Calculus". In 'Foundations
of Intelligent Systems', Zbigniew W. Ras and Maciek Michalewiccz (eds.), Proc.
Ninth International Symposium on Methodologies for Intelligent Systems
(ISMIS'96), Zakopane, Poland, June 1996, Springer LNAI 1079,
1996, pp. 212-222. ismis96.pdf
Bastarrica, C., Bertossi, L. and Valdivia, R. "Semantical Query Optimization: A Practical
Case" (in Spanish). Revista de la Sociedad Chilena de
Ciencia de Computacion, 1,1, 1996, pp. 31-44.
rev-sccc.ps
Siu, B. and Bertossi, L. "Answering Historical Queries en Databases (Extended Abstract)" .
Proc. XVI International Conference of the Chilean
Computer Science Society, M. V. Zelkowitz \& P. Straub (eds.),
Valdivia, Nov. 1996, Sociedad Chilena de Ciencia de Computacion (SCCC),
1996, pp. 56-66.
abstract.ps
Bertossi, L., Arenas, M. and Ferretti, C. "SCDBR: An Automated Reasoner for Database
Updates". Proc. XVI International Conference of the Chilean
Computer Science Society, M. V. Zelkowitz & P. Straub (eds.),
Valdivia, Nov. 1996, Sociedad Chilena de Ciencia de Computacion (SCCC),
1996, pp. 43-55.
scdbr-vald.ps
Fuller, D., Bocic, S. and Bertossi, L. "Towards Efficient Partial Evaluation
in Logic Programming". New Generation Computing,
14, 2, 1996, pp. 237-259. ngc.pdf.
1995:
Bedrax-Weiss, T. and Bertossi, L. "Underlying Semantics for the Assessment
of Reiter's Solution to the Frame Problem". In 'Advances in Artificial
Intelligence', Proc. 1st International Conference of the Brazilean AI Society
(SBIA'95), LNAI 991, Springer, 1995, pp. 59-68.
sbia95.ps
1994:
Bertossi, L. "Circumscription in Data Logic for Data Type Specification".
Journal of Logic and Computation, 4, 1, 1994, pp.
89-96. cir-jlc2.pdf
Bertossi, L. and Reiter, R. "Circumscription and Generic Mathematical Objects".
Fundamenta Informaticae, Vol. 21, N. 1-2, July-August, 1994, pp. 113-124.
fund-inf.pdf
Bertossi, L. and Ferretti, C. "SCDBR: A Reasoner for Specifications in the
Situation Calculus of Database Updates". In 'Temporal Logic'
(Proceedings I International Conference on Temporal Reasoning, ICTL94,
Bonn, July 1994), D. Gabbay & H.J. Ohlbach (eds.), Lecture Notes in
Artificial Intelligence 827, Springer, 1994, pp. 543-545.
ictl.ps
Bedrax-Weiss, T. and Bertossi, L. "Assessment of Reiter's General Monotonic
Solution to the Frame Problem and its Applicability to Database Updates".
In Proceedings 'Workshop Logic and Change', European Conference on
Artificial Intelligence (ECAI'94, Amsterdam, August 1994), Camilla
Schwind (ed.), 1994, pp. 5-18.
ecai-final.ps
Bertossi, L. and Reiter, R. "On the Concept of Generic Object: A Nonmonotonic
Reasoning Approach and Examples". In 'Logics for Artificial
Intelligence' (Proc. JELIA'94, York, September 1994), C. MacNish,
D. Pearce and L. Moniz Pereira (eds.), Lecture Notes in Artificial
Intelligence 838, Springer, 1994, pp. 347-363.
york1p3.ps
1993:
Bertossi, L. "Observaciones sobre la Actividad Matematica". Revista Apuntes de Ingenieria, Escuela de Ingenieria, Pontificia Universidad
Catolica de Chile, 47, 1993, pp. 29-38.
1992:
Bertossi, L. and Reiter, R. "Circumscription and Generic Mathematical Objects".
4th International Workshop on Nonmonotonic Reasoning, Vermont, 1992.
(Also: Technical Report KRR-TR-92-4, Department of Computer Science, University of Toronto, 1992.)
1991:
Bertossi, L. "The Outer Capacity of an Internal Set Function". Zeitschrift
fuer mathematische Logik und Grundlagen der Mathematik (now Mathematical
Logic Quarterly), 37, 1991, pp. 571--573.
1990:
Bertossi, L. "The Formal Language Lt and Topological Products". Zeitschrift
fuer mathematische Logik und Grundlagen der Mathematik (now Mathematical
Logic Quarterly), 36, 1990, pp. 89--94.
1988:
Bertossi, L. "Algunas Tendencias Actuales en Matematica". Revista Universitaria, Pontificia Universidad Catolica de Chile, 23, 1988.
1987:
Bertossi, L. "Un Ejemplo de Razon de Convergencia en el Metodo de Elementos
Finitos". Revista de Matematicas Aplicadas (ISSN 0716-3096), 9, 1, 1987, pp.
27-33.
1986:
Bertossi, L. "Algunos Problemas en Teoria de Complejidad
Computacional". En `En Chile Tambien Hay Ciencia', J. Ihoda, J. Melnick,
S. Melnick (eds.), Univ. de Chile, 1986, pp. 197-205.
1985:
Chuaqui, R. and Bertossi, L. "Approximation to Truth and the Theory of Errors".
In `Methods in Mathematical Logic', C.A. Di Prisco (ed.), Lecture Notes in
Mathematics 1130, Springer, 1985, pp. 13--31.
Bertossi, L. "Chuaqui's Definition of Probability in some Stochastic Processes". Rev. Colombiana de Matematica, 19, 1985, pp. 25- 30 (Abstract in
Journal of Symbolic Logic, 48, p. 884)
1983:
Bertossi, L. "Introduccion al Analisis No Standard y a sus Aplicaciones en Probabilidad". Notas Matematicas 14, Ediciones Universidad Catolica de Chile, 1983.
Bertossi, L. "Faktische Wahrscheinlichkeit und
Brownsche Bewegung". In Abstracts of the 7th International Congress on Mathematical
Logic, Salzburg 1983, Hutteger OHG Verlag, Salzburg, Vol.1, 1983, pp. 202-209.
Talk given at the conference.
1982:
L. Bertossi. "Factual Probability and Brownian Motion". Technical Report
PUC/FM-82/12. Facultad de Matematicas, Pontificia Universidad Catolica de Chile., 1982.
|
|