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

Valeria Fionda: A Benchmark Dataset for Community Deception Algorithms. Soc. Netw. Anal. Min. 14(1): 166 (2024)

Ilaria Lucrezia Amerise, Valeria Fionda, Giuseppe Pirrò. Bipartite Time Series Network for Data Imputation. 2024 European Conference on Artificial Intelligence (ECAI). 2322-2329

Valeria Fionda, Antonio Ielo, Francesco Ricca. LTLf2ASP: LTLf Bounded Satisfiability in ASP. 17th International Conference on Logic Programming and Non-monotonic Reasoning. 2024. 373-386

Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca and Alessandra Russo. A Declarative Framework for Temporal Reasoning in Green-Aware Applications. 1st AIxIA Workshop on Green-Aware Artificial Intelligence (Green-Aware AI 2024). 25 - 28 November, 2024.

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