Concepedia

Marco Calautti

MC

Statistics

Publications

12

Citations

220

H-Index

10

Active since

2013

Affiliations

University of Calabria(Current)

University of Trento

University of Edinburgh

Marco Calautti is an author at University of Calabria specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationData ScienceVerificationData ManagementProgram AnalysisProof Complexity

Publications per year

2013–2023

12

Publications

12

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015

Marco Calautti, Sergio Greco, Cristian Molinaro et al. · International Joint Conference on Artificial Intelligence · 2015 · 56 citations

Artificial Intelligence, Ai Architecture, Engineering +8

An Operational Approach to Consistent Query Answering

Marco Calautti, Leonid Libkin, Andréas Pieris · 2018 · 28 citations · Full text

Chase Termination for Guarded Existential Rules

Marco Calautti, Georg Gottlob, Andréas Pieris · 2015 · 25 citations · Full text

Computational Logic, Engineering, Deductive Database +15

Counting Database Repairs under Primary Keys Revisited

Marco Calautti, Marco Console, Andréas Pieris · 2019 · 17 citations · Full text

Engineering, Computational Complexity, Formal Verification +19

Exploiting equality generating dependencies in checking chase termination

Marco Calautti, Sergio Greco, Cristian Molinaro et al. · Proceedings of the VLDB Endowment · 2016 · 15 citations · Full text

Engineering, Verification, Computer-aided Verification +24

1–5 of 12