Marco Calautti

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 51

Top Topics

Equality Generating Dependencies

Function Symbols

Query Answering

Top Venues

Theory Pract. Log. Program.

Publications

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. Theory Pract. Log. Program. 24 (2) (2024)
Marco Calautti, Damiano Duranti, Paolo Giorgini
Machine Learning-Augmented Ontology-Based Data Access for Renewable Energy Data. SEBD (2024)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Computing the Why-Provenance for Datalog Queries via SAT Solvers. SEBD (2024)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
The Complexity of Why-Provenance for Datalog Queries. Proc. ACM Manag. Data 2 (2) (2024)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Combined Approximations for Uniform Operational Consistent Query Answering. Proc. ACM Manag. Data 2 (2) (2024)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Computing the Why-Provenance for Datalog Queries via SAT Solvers. AAAI (2024)
Heba M. Wagih, Marco Calautti
Enhancing Ontological Query-Rewriting via Parallelization. SEBD (2023)
Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks. Artif. Intell. 323 (2023)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
The Complexity of Why-Provenance for Datalog Queries. CoRR (2023)
Marco Calautti, Sergio Greco, Hebatalla Hammad, Tariq Mahmood, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. SEBD (2023)
Marco Calautti, Mostafa Milani, Andreas Pieris
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. Proc. VLDB Endow. 16 (11) (2023)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. CoRR (2023)
Marco Calautti, Mostafa Milani, Andreas Pieris
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. CoRR (2023)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Combined Approximations for Uniform Operational Consistent Query Answering. CoRR (2023)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Query answering over inconsistent knowledge bases: A probabilistic approach. Theor. Comput. Sci. 935 (2022)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies. SEBD (2022)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Preference-based inconsistency-tolerant query answering under existential rules. Artif. Intell. 312 (2022)
Marco Calautti, Georg Gottlob, Andreas Pieris
Non-Uniformly Terminating Chase: Size and Complexity. CoRR (2022)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies. PODS (2022)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Uniform Operational Consistent Query Answering. PODS (2022)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Uniform Operational Consistent Query Answering. CoRR (2022)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. Datalog (2022)
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
Active Integrity Constraints with Existential Quantification. SEBD (2022)
Marco Calautti, Georg Gottlob, Andreas Pieris
Non-Uniformly Terminating Chase: Size and Complexity. PODS (2022)
Marco Calautti, Andreas Pieris
Semi-Oblivious Chase Termination: The Sticky Case. Theory Comput. Syst. 65 (1) (2021)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper). SEBD (2021)
Pablo Barceló, Marco Calautti
Special Issue on Database Theory. Theory Comput. Syst. 65 (1) (2021)
Marco Calautti, Marco Console, Andreas Pieris
Benchmarking Approximate Consistent Query Answering (Discussion Paper). SEBD (2021)
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies. CoRR (2021)
Marco Calautti, Marco Console, Andreas Pieris
Benchmarking Approximate Consistent Query Answering. PODS (2021)
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
Existential active integrity constraints. Expert Syst. Appl. 168 (2021)
Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. KR (2020)
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
Consistent query answering with prioritized active integrity constraints. IDEAS (2020)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. KR (2020)
Marco Calautti, Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Probabilistic Answers over Inconsistent Knowledge Bases. SEBD (2020)
Marco Calautti, Marco Console, Andreas Pieris
Counting Database Repairs under Primary Keys Revisited. PODS (2019)
Marco Calautti, Marco Console, Andreas Pieris
Counting Database Repairs under Primary Keys Revisited. SEBD (2019)
Marco Calautti, Andreas Pieris
Oblivious Chase Termination: The Sticky Case. ICDT (2019)
Marco Calautti, Leonid Libkin, Andreas Pieris
An Operational Approach to Consistent Query Answering. PODS (2018)
Marco Calautti, Leonid Libkin, Andreas Pieris
An Operational Approach to Consistent Query Answering. AMW (2018)
Marco Calautti, Sergio Greco, Irina Trubitsyna
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. ACM Trans. Comput. Log. 18 (4) (2017)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Leveraging Equality Generating Dependencies for Chase Termination. SEBD (2016)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Using linear constraints for logic program termination analysis. Theory Pract. Log. Program. 16 (3) (2016)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Exploiting Equality Generating Dependencies in Checking Chase Termination. Proc. VLDB Endow. 9 (5) (2016)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Checking Termination of Datalog with Function Symbols Through Linear Constraints. SEBD (2015)
Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna
Checking termination of bottom-up evaluation of logic programs with function symbols. Theory Pract. Log. Program. 15 (6) (2015)
Marco Calautti, Georg Gottlob, Andreas Pieris
Chase Termination for Guarded Existential Rules. AMW (2015)
Marco Calautti, Georg Gottlob, Andreas Pieris
Chase Termination for Guarded Existential Rules. PODS (2015)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Logic Program Termination Analysis Using Atom Sizes. IJCAI (2015)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Rewriting-based Check of Chase Termination. AMW (2015)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Using Linear Constraints for Logic Program Termination Analysis. CoRR (2015)
Marco Calautti, Cristian Molinaro, Chiara Pulice, Irina Trubitsyna
Termination Criteria for Datalog with Function Symbols. SEBD (2014)
Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna
Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols. CoRR (2014)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Checking Termination of Logic Programs with Function Symbols through Linear Constraints. RuleML (2014)
Marco Calautti, Sergio Greco, Irina Trubitsyna
Detecting decidable classes of finitely ground logic programs with function symbols. PPDP (2013)