Marco Calautti

According to our database, Marco Calautti authored at least 43 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Finite Axiomatizability by Disjunctive Existential Rules.

Marco Calautti, Marco Console, Andreas Pieris

CoRR, August, 2025

On the Complexity of Global Necessary Reasons to Explain Classification.

Marco Calautti, Enrico Malizia, Cristian Molinaro

CoRR, January, 2025

A Datalog Rewriting Algorithm for Warded Ontologies.

Davide Benedetto, Marco Calautti, Hebatalla Hammad, Emanuel Sallinger, Adriano Vlad-Starrabba

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

2024

Below and Above Why-Provenance for Datalog Queries.

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

Proc. ACM Manag. Data, November, 2024

Combined Approximations for Uniform Operational Consistent Query Answering.

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

Proc. ACM Manag. Data, 2024

The Complexity of Why-Provenance for Datalog Queries.

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

Proc. ACM Manag. Data, 2024

Machine Learning-Augmented Ontology-Based Data Access for Renewable Energy Data.

Marco Calautti, Damiano Duranti, Paolo Giorgini

Proceedings of the 32nd Symposium of Advanced Database Systems, 2024

On Explainable Acceptance in Probabilistic and Incomplete Abstract Argumentation Frameworks.

Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Proceedings of the 8th Workshop on Advances in Argumentation in Artificial Intelligence 2024 co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024

Computing the Why-Provenance for Datalog Queries via SAT Solvers.

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study.

Marco Calautti, Mostafa Milani, Andreas Pieris

Proc. VLDB Endow., 2023

Enhancing Ontological Query-Rewriting via Parallelization.

Heba M. Wagih, Marco Calautti

Proceedings of the 31st Symposium of Advanced Database Systems, 2023

Querying Data Exchange Settings Beyond Positive Queries.

Marco Calautti, Sergio Greco, Hebatalla Hammad, Tariq Mahmood, Cristian Molinaro, Irina Trubitsyna

Proceedings of the 31st Symposium of Advanced Database Systems, 2023

2022

Query answering over inconsistent knowledge bases: A probabilistic approach.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Theor. Comput. Sci., 2022

Active Integrity Constraints with Existential Quantification.

Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Counting Database Repairs Entailing a Query: The Case of Functional Dependencies.

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Uniform Operational Consistent Query Answering.

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Non-Uniformly Terminating Chase: Size and Complexity.

Marco Calautti, Georg Gottlob, Andreas Pieris

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Querying Data Exchange Settings Beyond Positive Queries.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

Semi-Oblivious Chase Termination: The Sticky Case.

Marco Calautti, Andreas Pieris

Theory Comput. Syst., 2021

Special Issue on Database Theory.

Pablo Barceló, Marco Calautti

Theory Comput. Syst., 2021

Existential active integrity constraints.

Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano

Expert Syst. Appl., 2021

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper).

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

Benchmarking Approximate Consistent Query Answering (Discussion Paper).

Marco Calautti, Marco Console, Andreas Pieris

Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

Benchmarking Approximate Consistent Query Answering.

Marco Calautti, Marco Console, Andreas Pieris

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

2020

Probabilistic Answers over Inconsistent Knowledge Bases.

Marco Calautti, Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation.

Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Consistent query answering with prioritized active integrity constraints.

Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano

Proceedings of the IDEAS 2020: 24th International Database Engineering & Applications Symposium, 2020

2019

Counting Database Repairs under Primary Keys Revisited.

Marco Calautti, Marco Console, Andreas Pieris

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

Oblivious Chase Termination: The Sticky Case.

Marco Calautti, Andreas Pieris

Proceedings of the 22nd International Conference on Database Theory, 2019

2018

An Operational Approach to Consistent Query Answering.

Marco Calautti, Leonid Libkin, Andreas Pieris

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

Dealing with Inconsistency in Databases: An Overview.

Marco Calautti, Luciano Caroprese, Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Sergio Greco, Cristian Molinaro, Francesco Parisi, Andrea Pugliese, Domenico Saccà, Irina Trubitsyna, Ester Zumpano

Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2016

Using linear constraints for logic program termination analysis.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Theory Pract. Log. Program., 2016

Exploiting Equality Generating Dependencies in Checking Chase Termination.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proc. VLDB Endow., 2016

Leveraging Equality Generating Dependencies for Chase Termination.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

2015

Checking termination of bottom-up evaluation of logic programs with function symbols.

Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna

Theory Pract. Log. Program., 2015

Checking Termination of Datalog with Function Symbols Through Linear Constraints.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Chase Termination for Guarded Existential Rules.

Marco Calautti, Georg Gottlob, Andreas Pieris

Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Logic Program Termination Analysis Using Atom Sizes.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Rewriting-based Check of Chase Termination.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014

Termination Criteria for Datalog with Function Symbols.

Marco Calautti, Cristian Molinaro, Chiara Pulice, Irina Trubitsyna

Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Checking Termination of Logic Programs with Function Symbols through Linear Constraints.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Proceedings of the Rules on the Web. From Theory to Applications, 2014

2013

Detecting decidable classes of finitely ground logic programs with function symbols.

Marco Calautti, Sergio Greco, Irina Trubitsyna

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013