Antonio Ielo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas. | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2026 | AAAI | Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. | Antonio Ielo, Giuseppe Mazzotta, Rafael Pealoza, Francesco Ricca |
| 2025 | IJCAI | Are Large Language Models Fluent in Declarative Process Mining? | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2024 | ICLP | Efficient Compliance Computation in Probabilistic Declarative Specifications. | Mario Alviano, Antonio Ielo, Francesco Ricca |
| 2024 | LPNMR | An ILASP-Based Approach to Repair Petri Nets. | Francesco Chiariello, Antonio Ielo, Alice Tarzariol |
| 2024 | LPNMR | LTLf2ASP: LTLf Bounded Satisfiability in ASP. | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2024 | LPNMR | An ASP-Based Approach to Water Distribution System Reconstruction. | Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca |
| 2024 | PADL | A Direct ASP Encoding for Declare. | Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2023 | ILP | Towards ILP-Based LTL f Passive Learning. | Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo |
| 2023 | KR | Logic-based Composition of Business Process Models. | Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2022 | IJCAI | Declarative Mining of Business Processes via ASP. | Antonio Ielo, Francesco Ricca, Luigi Pontieri |