Optimizing Evaluation of Logic Programs: Extended Compilation & Enhanced Rewritings
Date
2023-11-29
Journal Title
Journal ISSN
Volume Title
Publisher
Università della Calabria
Abstract
Description
Università della Calabria
Dipartimento di Matematica e Informatica
Dottorato di Ricerca in Matematica e Informatica
XXXVI ciclo
Keywords
Answer Set Programming, Grounding Bottlenec, Compilation, ASP with uantifiers, Logic Programming