Checking Termination of Logic Programs with Function Symbols through Linear Constraints. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (RuleML, 2014)

Termination Criteria for Datalog with Function Symbols. - Marco Calautti; Cristian Molinaro; Chiara Pulice; Irina Trubitsyna (SEBD, 2014)

Rewriting-based Check of Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (AMW, 2015)

Chase Termination for Guarded Existential Rules. - Marco Calautti; Georg Gottlob; Andreas Pieris (AMW, 2015)

Logic Program Termination Analysis Using Atom Sizes. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IJCAI, 2015)

Checking Termination of Datalog with Function Symbols Through Linear Constraints. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 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)

Leveraging Equality Generating Dependencies for Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2016)

Exploiting Equality Generating Dependencies in Checking Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Proc. VLDB Endow., 2016)

Using linear constraints for logic program termination analysis. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theory Pract. Log. Program., 2016)

Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. - Marco Calautti; Sergio Greco; Irina Trubitsyna (ACM Trans. Comput. Log., 2017)

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 001; Domenico Saccà; Irina Trubitsyna; Ester Zumpano (A Comprehensive Guide Through the Italian Database Research, 2018)

An Operational Approach to Consistent Query Answering. - Marco Calautti; Leonid Libkin; Andreas Pieris (AMW, 2018)

Oblivious Chase Termination: The Sticky Case. - Marco Calautti; Andreas Pieris (ICDT, 2019)

Counting Database Repairs under Primary Keys Revisited. - Marco Calautti; Marco Console; Andreas Pieris (SEBD, 2019)

Consistent query answering with prioritized active integrity constraints. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (IDEAS, 2020)

Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. - Gianvincenzo Alfano; Marco Calautti; Sergio Greco; Francesco Parisi; Irina Trubitsyna (KR, 2020)

Probabilistic Answers over Inconsistent Knowledge Bases. - Marco Calautti; Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2020)

Benchmarking Approximate Consistent Query Answering. - Marco Calautti; Marco Console; Andreas Pieris (PODS, 2021)

Benchmarking Approximate Consistent Query Answering (Discussion Paper). - Marco Calautti; Marco Console; Andreas Pieris (SEBD, 2021)

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper). - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2021)

Existential active integrity constraints. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (Expert Syst. Appl., 2021)

Special Issue on Database Theory. - Pablo Barceló; Marco Calautti (Theory Comput. Syst., 2021)

Semi-Oblivious Chase Termination: The Sticky Case. - Marco Calautti; Andreas Pieris (Theory Comput. Syst., 2021)

Non-Uniformly Terminating Chase: Size and Complexity. - Marco Calautti; Georg Gottlob; Andreas Pieris (PODS, 2022)

Uniform Operational Consistent Query Answering. - Marco Calautti; Ester Livshits; Andreas Pieris; Markus Schneider 009 (PODS, 2022)

Active Integrity Constraints with Existential Quantification. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (SEBD, 2022)

Counting Database Repairs Entailing a Query: The Case of Functional Dependencies. - Marco Calautti; Ester Livshits; Andreas Pieris; Markus Schneider 009 (SEBD, 2022)

Preference-based inconsistency-tolerant query answering under existential rules. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Artif. Intell., 2022)

Query answering over inconsistent knowledge bases: A probabilistic approach. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theor. Comput. Sci., 2022)

Querying Data Exchange Settings Beyond Positive Queries. - Marco Calautti; Sergio Greco; Hebatalla Hammad; Tariq Mahmood 006; Cristian Molinaro; Irina Trubitsyna (SEBD, 2023)

Enhancing Ontological Query-Rewriting via Parallelization. - Heba M. Wagih; Marco Calautti (SEBD, 2023)

Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. - Marco Calautti; Mostafa Milani; Andreas Pieris (Proc. VLDB Endow., 2023)

Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks. - Gianvincenzo Alfano; Marco Calautti; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Artif. Intell., 2023)

Machine Learning-Augmented Ontology-Based Data Access for Renewable Energy Data. - Marco Calautti; Damiano Duranti; Paolo Giorgini (SEBD, 2024)

Computing the Why-Provenance for Datalog Queries via SAT Solvers. - Marco Calautti; Ester Livshits; Andreas Pieris; Markus Schneider 009 (SEBD, 2024)

The Complexity of Why-Provenance for Datalog Queries. - Marco Calautti; Ester Livshits; Andreas Pieris; Markus Schneider 009 (Proc. ACM Manag. Data, 2024)

Combined Approximations for Uniform Operational Consistent Query Answering. - Marco Calautti; Ester Livshits; Andreas Pieris; Markus Schneider 009 (Proc. ACM Manag. Data, 2024)

Querying Data Exchange Settings Beyond Positive Queries. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theory Pract. Log. Program., 2024)

Below and Above Why-Provenance for Datalog Queries. - Marco Calautti; Ester Livshits; Andreas Pieris; Markus Schneider 009 (Proc. ACM Manag. Data, 2024)

On the Complexity of Global Necessary Reasons to Explain Classification. - Marco Calautti; Enrico Malizia; Cristian Molinaro (CoRR, 2025)