Marco Calautti

68 papers A* 14A 2C 2Journal 30Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Semi-Oblivious Chase Termination for Linear Existential Rules and Beyond: An Experimental Analysis.
ACM Trans. Database Syst.
Amirhossein Alizad, Marco Calautti, Mostafa Milani, Andreas Pieris
2026 J jnl
Uniform Operational Consistent Query Answering.
ACM Trans. Database Syst.
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2025 A* conf
A Datalog Rewriting Algorithm for Warded Ontologies.
IJCAI
Davide Benedetto, Marco Calautti, Hebatalla Hammad, Emanuel Sallinger, Adriano Vlad-Starrabba
2025 J jnl
Combined Approximations for Uniform Operational Consistent Query Answering.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2025 A* conf
Finite Axiomatizability by Disjunctive Existential Rules.
KR
Marco Calautti, Marco Console, Andreas Pieris
2025 J jnl
Finite Axiomatizability by Disjunctive Existential Rules.
CoRR
Marco Calautti, Marco Console, Andreas Pieris
2025 A* conf
On the Complexity of Global Necessary Reasons to Explain Classification.
KR
Marco Calautti, Enrico Malizia, Cristian Molinaro
2025 J jnl
On the Complexity of Global Necessary Reasons to Explain Classification.
CoRR
Marco Calautti, Enrico Malizia, Cristian Molinaro
2024 J jnl
Below and Above Why-Provenance for Datalog Queries.
Proc. ACM Manag. Data
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2024 J jnl
Combined Approximations for Uniform Operational Consistent Query Answering.
Proc. ACM Manag. Data
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2024 A* conf
Computing the Why-Provenance for Datalog Queries via SAT Solvers.
AAAI
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2024 — conf
Computing the Why-Provenance for Datalog Queries via SAT Solvers.
SEBD
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2024 — conf
Machine Learning-Augmented Ontology-Based Data Access for Renewable Energy Data.
SEBD
Marco Calautti, Damiano Duranti, Paolo Giorgini
2024 J jnl
Machine Learning-Augmented Ontology-Based Data Access for Renewable Energy Data.
CoRR
Marco Calautti, Damiano Duranti, Paolo Giorgini
2024 — conf
On Explainable Acceptance in Probabilistic and Incomplete Abstract Argumentation Frameworks.
AI³@AI*IA
Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 J jnl
Querying Data Exchange Settings Beyond Positive Queries.
Theory Pract. Log. Program.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2024 J jnl
The Complexity of Why-Provenance for Datalog Queries.
Proc. ACM Manag. Data
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2023 J jnl
Combined Approximations for Uniform Operational Consistent Query Answering.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2023 — conf
Enhancing Ontological Query-Rewriting via Parallelization.
SEBD
Heba M. Wagih, Marco Calautti
2023 J jnl
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks.
Artif. Intell.
Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 — conf
Querying Data Exchange Settings Beyond Positive Queries.
SEBD
Marco Calautti, Sergio Greco, Hebatalla Hammad, Tariq Mahmood, Cristian Molinaro, Irina Trubitsyna
2023 J jnl
Querying Data Exchange Settings Beyond Positive Queries.
CoRR
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2023 J jnl
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study.
CoRR
Marco Calautti, Mostafa Milani, Andreas Pieris
2023 J jnl
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study.
Proc. VLDB Endow.
Marco Calautti, Mostafa Milani, Andreas Pieris
2023 J jnl
The Complexity of Why-Provenance for Datalog Queries.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2022 — conf
Active Integrity Constraints with Existential Quantification.
SEBD
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2022 A* conf
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies.
PODS
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2022 — conf
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies.
SEBD
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2022 A* conf
Non-Uniformly Terminating Chase: Size and Complexity.
PODS
Marco Calautti, Georg Gottlob, Andreas Pieris
2022 J jnl
Non-Uniformly Terminating Chase: Size and Complexity.
CoRR
Marco Calautti, Georg Gottlob, Andreas Pieris
2022 J jnl
Preference-based inconsistency-tolerant query answering under existential rules.
Artif. Intell.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2022 J jnl
Query answering over inconsistent knowledge bases: A probabilistic approach.
Theor. Comput. Sci.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2022 — conf
Querying Data Exchange Settings Beyond Positive Queries.
Datalog
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2022 A* conf
Uniform Operational Consistent Query Answering.
PODS
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2022 J jnl
Uniform Operational Consistent Query Answering.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2021 — conf
Benchmarking Approximate Consistent Query Answering (Discussion Paper).
SEBD
Marco Calautti, Marco Console, Andreas Pieris
2021 A* conf
Benchmarking Approximate Consistent Query Answering.
PODS
Marco Calautti, Marco Console, Andreas Pieris
2021 J jnl
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2021 J jnl
Existential active integrity constraints.
Expert Syst. Appl.
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2021 — conf
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper).
SEBD
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2021 J jnl
Semi-Oblivious Chase Termination: The Sticky Case.
Theory Comput. Syst.
Marco Calautti, Andreas Pieris
2021 J jnl
Special Issue on Database Theory.
Theory Comput. Syst.
Pablo Barceló, Marco Calautti
2020 C conf
Consistent query answering with prioritized active integrity constraints.
IDEAS
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2020 A* conf
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation.
KR
Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2020 A* conf
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules.
KR
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2020 — conf
Probabilistic Answers over Inconsistent Knowledge Bases.
SEBD
Marco Calautti, Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2019 A ed.
22nd International Conference on Database Theory, ICDT 2019, Lisbon, Portugal, March 26-28, 2019
ICDT
Pablo Barceló, Marco Calautti
2019 A* conf
Counting Database Repairs under Primary Keys Revisited.
PODS
Marco Calautti, Marco Console, Andreas Pieris
2019 — conf
Counting Database Repairs under Primary Keys Revisited.
SEBD
Marco Calautti, Marco Console, Andreas Pieris
2019 A conf
Oblivious Chase Termination: The Sticky Case.
ICDT
Marco Calautti, Andreas Pieris
2018 — conf
An Operational Approach to Consistent Query Answering.
AMW
Marco Calautti, Leonid Libkin, Andreas Pieris
2018 A* conf
An Operational Approach to Consistent Query Answering.
PODS
Marco Calautti, Leonid Libkin, Andreas Pieris
2018 — ch.
Dealing with Inconsistency in Databases: An Overview.
A Comprehensive Guide Through the Italian Database Research
Marco Calautti, Luciano Caroprese, Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Sergio Greco, Cristian Molinaro, Francesco Parisi, Andrea Pugliese, Domenico Saccà, Irina Trubitsyna, Ester Zumpano
2017 J jnl
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols.
ACM Trans. Comput. Log.
Marco Calautti, Sergio Greco, Irina Trubitsyna
2016 J jnl
Exploiting Equality Generating Dependencies in Checking Chase Termination.
Proc. VLDB Endow.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2016 — conf
Leveraging Equality Generating Dependencies for Chase Termination.
SEBD
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2016 J jnl
Using linear constraints for logic program termination analysis.
Theory Pract. Log. Program.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2015 — conf
Chase Termination for Guarded Existential Rules.
AMW
Marco Calautti, Georg Gottlob, Andreas Pieris
2015 A* conf
Chase Termination for Guarded Existential Rules.
PODS
Marco Calautti, Georg Gottlob, Andreas Pieris
2015 — conf
Checking Termination of Datalog with Function Symbols Through Linear Constraints.
SEBD
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2015 J jnl
Checking termination of bottom-up evaluation of logic programs with function symbols.
Theory Pract. Log. Program.
Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2015 A* conf
Logic Program Termination Analysis Using Atom Sizes.
IJCAI
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2015 — conf
Rewriting-based Check of Chase Termination.
AMW
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2015 J jnl
Using Linear Constraints for Logic Program Termination Analysis.
CoRR
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2014 J jnl
Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols.
CoRR
Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2014 — conf
Checking Termination of Logic Programs with Function Symbols through Linear Constraints.
RuleML
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2014 — conf
Termination Criteria for Datalog with Function Symbols.
SEBD
Marco Calautti, Cristian Molinaro, Chiara Pulice, Irina Trubitsyna
2013 C conf
Detecting decidable classes of finitely ground logic programs with function symbols.
PPDP
Marco Calautti, Sergio Greco, Irina Trubitsyna