most citedDirect Encoding of Declare Constraints in ASP

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 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★ 1 cited

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…