Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. - Antonio Ielo; Francesco Ricca (CILC, 2021)

Declarative Mining of Business Processes via ASP. - Antonio Ielo; Francesco Ricca; Luigi Pontieri (PMAI@IJCAI, 2022)

Towards ILP-Based LTL f Passive Learning. - Antonio Ielo; Mark Law; Valeria Fionda; Francesco Ricca; Giuseppe De Giacomo; Alessandra Russo (ILP, 2023)

Logic-based Composition of Business Process Models. - Valeria Fionda; Antonio Ielo; Francesco Ricca (KR, 2023)

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

Efficient Compliance Computation in Probabilistic Declarative Specifications. - Mario Alviano; Antonio Ielo; Francesco Ricca (ICLP Workshops, 2024)

An ILASP-Based Approach to Repair Petri Nets. - Francesco Chiariello; Antonio Ielo; Alice Tarzariol (LPNMR, 2024)

LTLf2ASP: LTLf Bounded Satisfiability in ASP. - Valeria Fionda; Antonio Ielo; Francesco Ricca (LPNMR, 2024)

An ASP-Based Approach to Water Distribution System Reconstruction. - Antonio Ielo; Salvatore Falco; Salvatore Iiritano; Patrizia Piro; Ada Polizzi; Francesco Ricca (LPNMR, 2024)

Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. - Antonio Ielo; Giuseppe Mazzotta; Francesco Ricca; Rafael Peñaloza (OVERLAY, 2024)

A Direct ASP Encoding for Declare. - Francesco Chiariello; Valeria Fionda; Antonio Ielo; Francesco Ricca (PADL, 2024)

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum. - Damiano Azzolini; Stefano Forti 002; Antonio Ielo (CoRR, 2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas. - Antonio Ielo; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (CoRR, 2024)

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

Application Placement with Constraint Relaxation. - Damiano Azzolini; Marco Duca; Stefano Forti 002; Francesco Gallo; Antonio Ielo (CoRR, 2025)