Publications

Valeria Fionda, Giuseppe Pirrò: Characterizing Evolutionary Trends in Temporal Knowledge Graphs with Linear Temporal Logic. IEEE Big Data 2023: 2907-2909

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca: A Direct ASP Encoding for Declare. PADL 2024: 116-133

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

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

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