Antonio Ielo

According to our database, Antonio Ielo authored at least 11 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enumerating Minimal Unsatisfiable Cores of LTLf formulas.

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

CoRR, 2024

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum.

Damiano Azzolini, Stefano Forti, Antonio Ielo

CoRR, 2024

A Direct ASP Encoding for Declare.

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca

Proceedings of the Practical Aspects of Declarative Languages, 2024

An ASP-Based Approach to Water Distribution System Reconstruction.

Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

LTLf2ASP: LTLf Bounded Satisfiability in ASP.

Valeria Fionda, Antonio Ielo, Francesco Ricca

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

An ILASP-Based Approach to Repair Petri Nets.

Francesco Chiariello, Antonio Ielo, Alice Tarzariol

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

Efficient Compliance Computation in Probabilistic Declarative Specifications.

Mario Alviano, Antonio Ielo, Francesco Ricca

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

2023

Logic-based Composition of Business Process Models.

Valeria Fionda, Antonio Ielo, Francesco Ricca

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Towards ILP-Based LTL f Passive Learning.

Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo

Proceedings of the Inductive Logic Programming - 32nd International Conference, 2023

2022

Declarative Mining of Business Processes via ASP.

Antonio Ielo, Francesco Ricca, Luigi Pontieri

Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

2021

Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results.

Antonio Ielo, Francesco Ricca

Proceedings of the 36th Italian Conference on Computational Logic, 2021