Mazzotta, GiuseppeTerracina, GiorgioRicca, Francesco2026-04-092023-11-29http://hdl.handle.net/10955/5750Università della Calabria Dipartimento di Matematica e Informatica Dottorato di Ricerca in Matematica e Informatica XXXVI cicloenAnswer Set ProgrammingGrounding BottlenecCompilationASP with uantifiersLogic ProgrammingOptimizing Evaluation of Logic Programs: Extended Compilation & Enhanced RewritingsThesis