Some Publications




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". 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. Corr ArXiv paper cs.DB/1105.1364.

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.ps

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.ps

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.ps

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.


Pre-publications and tech reports:


L. Bertossi and J. Gardezi. On Chase Variations with Matching Dependencies for Entity Resolution. (DRAFT). April, 2014.

Caniupan, M. and Bertossi, M. "Answer Sets Programs for Querying Inconsistent Databases: The Consistency Extractor System". Demo paper, submitted. here.

Bertossi, L. and Celle, A. "Implementing Query Rewriting for Consistent Query Answering in Databases". Journal submssion, Jan. 2004. tplp2.pdf

Siu, B. and Bertossi, L. ``Answering Historical Queries in Databases". hq-ssp.ps

Siu, B., Bertossi, L. and Arenas, M. "A Semantical Notion of Relevance in Specifications of Database Updates and its Computational Counterpart". jlp.ps

Bedrax-Weiss, T. and Bertossi, L. "Underlying Semantics for the Assesment of Reiter's Solution to the Frame Problem". jair.ps

Arenas, M. and Bertossi, L. ``Hypothetical Temporal Reasoning with History Encoding (Extended Version)". ext-temporal.ps

Arenas, M., Bertossi, L., Pinto, J. ``Representation of Temporal Knowledge in the Situation Calculus". mt1.ps

Bertossi, L., Chomicki, J., Cortes, A., Gutierrez, C. ``Consistent Answers from Integrated Data Sources" (extended version). paperleo14.ps . A talk based on this paper is here.

Bertossi, L., Franconi, E., Lopatenko, A. "Reconstructing Repairs of Census Data Forms as Database Repairs", 2003. paper.pdf


Thesis and papers written by my students under my supervision (some):


Jorge E. Leon. "Compiling Neural Network Classifiers into Boolean Circuits for Efficient Shap-Score Computation". MSc Data Science UAI, Chile. June 2023. here

Zeinab Bahmani. PhD in Comp. Science, Carleton University. "Declarative Entity Resolution via Matching Dependencies and Combining Matching Dependencies with Machine Learning for Entity Resolution". September, 2017. here

Mostafa Khaghani-Milani. "Multidimensional Ontologies for Contextual Quality Data Specification and Extraction". PhD Program in Computer Science, Carleton University. January 2017.

Babak Salimi. "Query-Answer Causality in Databases and its Connections with Reverse Reasoning Tasks in Data and Knowledge Management". PhD in Computer Science, Carleton University. Dec. 2015.

Mohammad (Sina) Ariyan. "A Multidimensional Data Model with Subcategories for Expressing and Repairing Summarizability". PhD in Computer Science, Carleton University, 2014.

Mahkameh Yaghmaie. "Repair-Oriented Relational Schemas for Multidimensional Databases". Masters Program in Computer Science, Carleton University. December 2011.

Aida Maleki. "Multidimensional Contexts for Data Quality Assessment". Masters Program in Computer Science, Carleton University. January 2013.

Pourya Saljoughi. "JowsDatalog: an Ontology Based Data Access Tool for Jointly-Weakly-Sticky Datalog+- Programs". Masters Program in Computer Science, Carleton University. May 2019.

Lechen Li. Masters in Comp. Science, Carleton University. January 2011. "Achieving Data Privacy Through Virtual Updates". here

Gayathri Jayaraman. Masters in Comp. and Sysi. Eng., Carleton University. May 2010. "A Mediator-based Data Integration System for Query Answering using an Optimized Extended Inverse Rules Algorithm". here

Loreto Bravo. PhD Thesis, Carleton University, 2007. "Handling Inconsistency in Databases and Data Integration Systems". here

Monica Caniupan. PhD Thesis, Carleton University, 2007. "Optimizing and Implementing Repair Programs for Consistent Query Answering in Databases". here

Monica Caniupan. "Handling Inconsistencies in Data Warehouses". In Current Trends in Database Technology - EDBT 2004. Springer LNCS 3268, pp. 166-176. paper.

Sandra Villalobos. "Respuestas Consistentes a Consultas Planteadas en Bases de Datos XML Inconsistentes". MSc Thesis PUC, 2003. here

Pablo Barcelo. "Applications of Annotated Predicate Calculus and Logic Programs to Querying Inconsistent Databases". MSc Thesis PUC, 2002. here

Alvaro Cortes. "Respuestas Consistentes desde Fuentes de Datos Integradas". MSc Thesis PUC, 2002. here

Alexander Celle. "Implementing Consistent Query Answers in Inconsistent Databases". MSc Thesis PUC, 2000. here

Pablo Saez. "Proving Integrity Constraints in the Situation Calculus using Automated Theorem Provers". PhD Thesis PUC, 1999. here