IELO, ANTONIO
IELO, ANTONIO
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.007 secondi).
A Direct ASP Encoding for Declare
2024-01-01 Chiariello, Francesco; Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results
2021-01-01 Ielo, Antonio; Ricca, Francesco
Declarative Mining of Business Processes via ASP
2022-01-01 Ielo, A.; Pontieri, L.; Ricca, F.
Efficient Compliance Computation in Probabilistic Declarative Specifications
2024-01-01 Alviano, M.; Ielo, A.; 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 ILP-Based $$\text {LTL}_\text {f}$$ Passive Learning
2023-01-01 Ielo, Antonio; Law, Mark; Fionda, Valeria; Ricca, Francesco; De Giacomo, Giuseppe; Russo, Alessandra
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Direct ASP Encoding for Declare | 1-gen-2024 | Chiariello, Francesco; Fionda, Valeria; Ielo, Antonio; Ricca, Francesco | |
| Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results | 1-gen-2021 | Ielo, Antonio; Ricca, Francesco | |
| Declarative Mining of Business Processes via ASP | 1-gen-2022 | Ielo, A.; Pontieri, L.; Ricca, F. | |
| Efficient Compliance Computation in Probabilistic Declarative Specifications | 1-gen-2024 | Alviano, M.; Ielo, A.; 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 ILP-Based $$\text {LTL}_\text {f}$$ Passive Learning | 1-gen-2023 | Ielo, Antonio; Law, Mark; Fionda, Valeria; Ricca, Francesco; De Giacomo, Giuseppe; Russo, Alessandra |