Calautti, Marco

3 publications

IJCAI 2025 A Datalog Rewriting Algorithm for Warded Ontologies Davide Benedetto, Marco Calautti, Hebatalla Hammad, Emanuel Sallinger, Adriano Vlad-Starrabba

AAAI 2024 Computing the Why-Provenance for Datalog Queries via SAT Solvers Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

IJCAI 2015 Logic Program Termination Analysis Using Atom Sizes Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna