Publications

Valeria Fionda, Antonio Ielo, Francesco Ricca: Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas. AAAI 2026 

Valeria Fionda, Antonio Ielo, Francesco Ricca: Are Large Language Models Fluent in Declarative Process Mining?. IJCAI 2025 

Valeria Fionda: Logic-based analysis of fake news diffusion on social media. Soc. Netw. Anal. Min. 15(1): 59 (2025) 

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca: Direct Encoding of Declare Constraints in ASP. Theory Pract. Log. Program. 25(1): 92-131 (2025) 

Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavičius: Explanations for Query Answers under Existential Rules. Artif. Intell. 341: 104294 (2025) 

Marco Calautti, Enrico Malizia, Cristian Molinaro: On the Complexity of Global Necessary Reasons to Explain Classification. Proc. of KR 2025 

Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro: Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics. Proc. of SEBD 2025 

Valeria Fionda: A benchmark dataset for community deception algorithms. Soc. Netw. Anal. Min. 14(1): 166 (2024) 

Valeria Fionda: Characterize Fake News Diffusion Patterns Using Temporal Logic Rules. COMPLEX NETWORKS 2024 

Ilaria Lucrezia Amerise, Valeria Fionda, Giuseppe Pirrò: Bipartite Time Series Network for Data Imputation. ECAI 2024: 2322-2329 

Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca, Alessandra Russo: A Declarative Framework for Temporal Reasoning in Green-Aware Applications. GreenAI@AI*IA 2024: 40-49 

Valeria Fionda, Antonio Ielo, Francesco Ricca: LTLf2ASP: LTLf Bounded Satisfiability in ASP. LPNMR 2024: 373-386 

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

Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro: On the Complexity of Querying Inconsistent Weighted Knowledge Bases. Proc of DP@AI*IA 2024 

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider. Below and Above Why-Provenance for Datalog Queries. Proc. ACM Manag. Data 2(5): 211:1-211:21 (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) 

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

Enrico Malizia: Hausdorff Reductions and the Exponential Hierarchies. Tech. Rep. arXiv:2402.00791