IELO, ANTONIO
IELO, ANTONIO
Dipartimento di Matematica e Informatica
A Declarative Framework for Temporal Reasoning in Green-Aware Applications
2024-01-01 De Giacomo, Giuseppe; Fionda, Valeria; Gigante, Nicola; Ielo, Antonio; Ricca, Francesco; Russo, Alessandra
A Direct ASP Encoding for Declare
2024-01-01 Chiariello, Francesco; Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
An ASP-Based Approach to Water Distribution System Reconstruction
2024-01-01 Ielo, A.; Falco, S.; Iiritano, S.; Piro, P.; Polizzi, A.; Ricca, F.
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results
2021-01-01 Ielo, Antonio; Ricca, Francesco
Are Large Language Models Fluent in Declarative Process Mining?
2025-01-01 Fionda, V.; Ielo, A.; Ricca, F.
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
2026-01-01 Fionda, V.; Ielo, A.; Ricca, F.
Declarative Mining of Business Processes via ASP
2022-01-01 Ielo, A.; Pontieri, L.; Ricca, F.
Direct Encoding of Declare Constraints in ASP
2025-01-01 Chiariello, F.; Fionda, V.; Ielo, A.; Ricca, F.
Efficient Compliance Computation in Probabilistic Declarative Specifications
2024-01-01 Alviano, M.; Ielo, A.; Ricca, F.
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
2026-01-01 Ielo, A.; Mazzotta, G.; Penaloza, R.; Ricca, F.
Logic-based Composition of Business Process Models
2023-01-01 Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
LTLf2ASP: LTLf Bounded Satisfiability in ASP
2024-01-01 Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf
2024-01-01 Ielo, A.; Mazzotta, G.; Ricca, F.; Penaloza, R.
Towards ILP-Based LTLf Passive Learning
2023-01-01 Ielo, Antonio; Law, Mark; Fionda, Valeria; Ricca, Francesco; De Giacomo, Giuseppe; Russo, Alessandra
Towards ILP-based LTLf passive learning
2026-01-01 Ielo, A.; Law, M.; Fionda, V.; Ricca, F.; De Giacomo, G.; Russo, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Declarative Framework for Temporal Reasoning in Green-Aware Applications | 1-gen-2024 | De Giacomo, Giuseppe; Fionda, Valeria; Gigante, Nicola; Ielo, Antonio; Ricca, Francesco; Russo, Alessandra | |
| A Direct ASP Encoding for Declare | 1-gen-2024 | Chiariello, Francesco; Fionda, Valeria; Ielo, Antonio; Ricca, Francesco | |
| An ASP-Based Approach to Water Distribution System Reconstruction | 1-gen-2024 | Ielo, A.; Falco, S.; Iiritano, S.; Piro, P.; Polizzi, A.; Ricca, F. | |
| Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results | 1-gen-2021 | Ielo, Antonio; Ricca, Francesco | |
| Are Large Language Models Fluent in Declarative Process Mining? | 1-gen-2025 | Fionda, V.; Ielo, A.; Ricca, F. | |
| Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas | 1-gen-2026 | Fionda, V.; Ielo, A.; Ricca, F. | |
| Declarative Mining of Business Processes via ASP | 1-gen-2022 | Ielo, A.; Pontieri, L.; Ricca, F. | |
| Direct Encoding of Declare Constraints in ASP | 1-gen-2025 | Chiariello, F.; Fionda, V.; Ielo, A.; Ricca, F. | |
| Efficient Compliance Computation in Probabilistic Declarative Specifications | 1-gen-2024 | Alviano, M.; Ielo, A.; Ricca, F. | |
| Enumerating Minimal Unsatisfiable Cores of LTLf Formulae | 1-gen-2026 | Ielo, A.; Mazzotta, G.; Penaloza, R.; Ricca, F. | |
| Logic-based Composition of Business Process Models | 1-gen-2023 | Fionda, Valeria; Ielo, Antonio; Ricca, Francesco | |
| LTLf2ASP: LTLf Bounded Satisfiability in ASP | 1-gen-2024 | Fionda, Valeria; Ielo, Antonio; Ricca, Francesco | |
| Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf | 1-gen-2024 | Ielo, A.; Mazzotta, G.; Ricca, F.; Penaloza, R. | |
| Towards ILP-Based LTLf Passive Learning | 1-gen-2023 | Ielo, Antonio; Law, Mark; Fionda, Valeria; Ricca, Francesco; De Giacomo, Giuseppe; Russo, Alessandra | |
| Towards ILP-based LTLf passive learning | 1-gen-2026 | Ielo, A.; Law, M.; Fionda, V.; Ricca, F.; De Giacomo, G.; Russo, A. |