135 citations · 210 across the 16 of their papers we have counts for
3 papers · 1 filter
BLAST: Benchmarking LLMs with ASP-based Structured Testing
Manuel Alejandro Borroto Santana, Erica Coppolillo, Francesco Calimeri +3
Large Language Models (LLMs) have demonstrated remarkable performance across a broad spectrum of tasks, including natural language understanding, dialogue systems, and code generat…
Efficiently Coupling the I-DLV Grounder with ASP Solvers
Francesco Calimeri, Carmine Dodaro, Davide Fuscà +2
We present I-DLV+MS , a new Answer Set Programming (ASP) system that integrates an efficient grounder, namely I-DLV, with an automatic selector that inductively chooses a solver: d…
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Mario Alviano, Francesco Calimeri, Wolfgang Faber +2
Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set…