3 papers
cs.AI2025
Question Answering with LLMs and Learning from Answer Sets
Manuel Borroto, Katie Gallagher, Antonio Ielo +3
Large Language Models (LLMs) excel at understanding natural language but struggle with explicit commonsense reasoning. A recent trend of research suggests that the combination of L…
cs.LO2024
Direct Encoding of Declare Constraints in ASP
Francesco Chiariello, Valeria Fionda, Antonio Ielo +1
Answer Set Programming (ASP), a well-known declarative logic programming paradigm, has recently found practical application in Process Mining. In particular, ASP has been used to m…
cs.AI2024
Enumerating Minimal Unsatisfiable Cores of LTLf formulas
Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza +1
Linear Temporal Logic over finite traces () is a widely used formalism with applications in AI, process mining, model checking, and more. The primary reasoning task f…