1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
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…
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…