Antonio Ielo

25 papers A* 4B 4C 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas.
AAAI
Valeria Fionda, Antonio Ielo, Francesco Ricca
2026 A* conf
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae.
AAAI
Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2026 J jnl
Towards ILP-based LTLf passive learning.
J. Log. Comput.
Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2025 J jnl
Application Placement with Constraint Relaxation.
CoRR
Damiano Azzolini, Marco Duca, Stefano Forti, Francesco Gallo, Antonio Ielo
2025 J jnl
Application Placement with Constraint Relaxation.
Theory Pract. Log. Program.
Damiano Azzolini, Marco Duca, Francesco Gallo, Antonio Ielo, Stefano Forti
2025 A* conf
Are Large Language Models Fluent in Declarative Process Mining?
IJCAI
Valeria Fionda, Antonio Ielo, Francesco Ricca
2025 J jnl
Continuous reasoning for adaptive container image distribution in the cloud-edge continuum.
Clust. Comput.
Damiano Azzolini, Stefano Forti, Antonio Ielo
2025 J jnl
Direct Encoding of Declare Constraints in ASP.
Theory Pract. Log. Program.
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2025 — ed.
Proceedings of the 4th International Workshop on Process Management in the AI Era (PMAI 2025) co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna, Italy, October 25, 2025.
PMAI
Fabiana Fournier, Lior Limonad, Giuseppe De Giacomo, Andrea Marrella, Antonella Guzzo, Antonio Ielo
2025 J jnl
Question Answering with LLMs and Learning from Answer Sets.
CoRR
Manuel Borroto, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo
2024 — conf
A Declarative Framework for Temporal Reasoning in Green-Aware Applications.
GreenAI@AI*IA
Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca, Alessandra Russo
2024 C conf
A Direct ASP Encoding for Declare.
PADL
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2024 B conf
An ASP-Based Approach to Water Distribution System Reconstruction.
LPNMR
Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca
2024 B conf
An ILASP-Based Approach to Repair Petri Nets.
LPNMR
Francesco Chiariello, Antonio Ielo, Alice Tarzariol
2024 J jnl
Continuous reasoning for adaptive container image distribution in the cloud-edge continuum.
CoRR
Damiano Azzolini, Stefano Forti, Antonio Ielo
2024 J jnl
Direct Encoding of Declare Constraints in ASP.
CoRR
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2024 — conf
Efficient Compliance Computation in Probabilistic Declarative Specifications.
ICLP Workshops
Mario Alviano, Antonio Ielo, Francesco Ricca
2024 J jnl
Enumerating Minimal Unsatisfiable Cores of LTLf formulas.
CoRR
Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2024 B conf
LTLf2ASP: LTLf Bounded Satisfiability in ASP.
LPNMR
Valeria Fionda, Antonio Ielo, Francesco Ricca
2024 — ed.
Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024.
PMAI@ECAI
Giuseppe De Giacomo, Valeria Fionda, Fabiana Fournier, Antonio Ielo, Lior Limonad, Marco Montali
2024 — conf
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf.
OVERLAY
Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca, Rafael Peñaloza
2023 A* conf
Logic-based Composition of Business Process Models.
KR
Valeria Fionda, Antonio Ielo, Francesco Ricca
2023 B conf
Towards ILP-Based LTL f Passive Learning.
ILP
Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2022 — conf
Declarative Mining of Business Processes via ASP.
PMAI@IJCAI
Antonio Ielo, Francesco Ricca, Luigi Pontieri
2021 — conf
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results.
CILC
Antonio Ielo, Francesco Ricca