Get started
Author

Antonio Ielo

Observed names: ANTONIO IELO, Ielo A., Ielo, Antonio
Observed institution: University of Calabria
ORCID: 0009-0006-9644-7975
Observed ORCID: 0009-0006-9644-7975
OpenAlex ID: A5089816326
Towards ILP-Based $$\text {LTL}_\text {f}$$ Passive Learning
2023 · Antonio Ielo, Mark Law, et al. · Lecture notes in computer science · 9
PDF
Continuous reasoning for adaptive container image distribution in the cloud–edge continuum
2025 · Damiano Azzolini, Stefano Forti, et al. · Cluster Computing · 7
PDF
LTLf2ASP: LTLf Bounded Satisfiability in ASP
2024 · Valeria Fionda, Antonio Ielo, et al. · Lecture notes in computer science · 5
Are Large Language Models Fluent in Declarative Process Mining?
2025 · Valeria Fionda, Antonio Ielo, et al. · International Joint Conference on Artificial Intelligence · 2
PDF
Application Placement with Constraint Relaxation
2025 · DAMIANO AZZOLINI, MARCO DUCA, et al. · Theory and Practice of Logic Programming · 2
PDF
An ILASP-Based Approach to Repair Petri Nets
2024 · Francesco Chiariello, Antonio Ielo, et al. · Lecture notes in computer science · 2
Logic-based Composition of Business Process Models
2023 · Valeria Fionda, Antonio Ielo, et al. · Principles of Knowledge Representation and Reasoning · 2
PDF
A Direct ASP Encoding for Declare
2023 · Francesco Chiariello, Valeria Fionda, et al. · Lecture notes in computer science · 2
PDF
Question Answering with LLMs and Learning from Answer Sets
2025 · MANUEL ALEJANDRO BORROTO SANTANA, KATIE GALLAGHER, et al. · Theory and Practice of Logic Programming · 1
PDF
Direct Encoding of Declare Constraints in ASP
2025 · FRANCESCO CHIARIELLO, VALERIA FIONDA, et al. · Theory and Practice of Logic Programming · 1
PDF
An ASP-Based Approach to Water Distribution System Reconstruction
2024 · Antonio Ielo, Salvatore Falco, et al. · Lecture notes in computer science · 1
Formal Explanations for Linear Temporal Logic over Finite Traces
2026 · Fionda, Valeria, Ielo, Antonio, et al. · arXiv (Cornell University)
PDF
Explaining Violations in Petri Nets
2026 · Valeria Fionda, Antonio Ielo, et al. · Lecture notes in business information processing
Optimality-preserving Logic-Based Benders Decomposition of Answer Set Programs
2026 · Carmine Dodaro, Antonio Ielo, et al. · International Joint Conference on Artificial Intelligence
PDF
Applications of Answer Set Programming to Linear Temporal Logic Over Finite Traces
2026 · Ielo, Antonio, Terracina, Giorgio, et al. · Università della Calabria
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
2026 · Antonio Ielo, Giuseppe Mazzotta, et al. · Proceedings of the AAAI Conference on Artificial Intelligence
PDF
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
2026 · Valeria Fionda, Antonio Ielo, et al. · Proceedings of the AAAI Conference on Artificial Intelligence
PDF
Long-Term Power Grid Planning via Answer Set Programming
2026 · ANTONIO IELO, FRANCESCO DORIA, et al. · Theory and Practice of Logic Programming
PDF
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
2026 · Association for Artificial Intelligence 2026, Ielo, Antonio, et al. · Underline Science Inc.
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
2026 · Association for Artificial Intelligence 2026, Fionda, Valeria, et al. · Underline Science Inc.
Towards ILP-based LTLf passive learning
2025 · Antonio Ielo, Mark Law, et al. · Journal of Logic and Computation
Answer Set Programming and Neurosymbolic AI: Applications and Future Perspectives (Invited Talk)
2025 · Manuel Borroto, Antonio Ielo, et al. · Communications in computer and information science
Enumerating Minimal Unsatisfiable Cores of LTLf formulas
2024 · Ielo, Antonio, Mazzotta, Giuseppe, et al. · arXiv (Cornell University)
PDF
Efficient Compliance Computation in Probabilistic Declarative Specifications
2024 · Alviano M., Ielo A., et al. · Archive of Doctoral Theses and Digital Collections (University of Calabria)
A Declarative Framework for Temporal Reasoning in Green-Aware Applications
2024 · Giuseppe De Giacomo, Valeria Fionda, et al. · Archive of Doctoral Theses and Digital Collections (University of Calabria)
PDF
Works count: 28
Citation count: 34
H-index: 3
I10-index:
Year
Topic
Type