Optimizing Evaluation of Logic Programs: Extended Compilation & Enhanced Rewritings

Simple item page
dc.contributor.authorMazzotta, Giuseppe
dc.contributor.authorTerracina, Giorgio
dc.contributor.authorRicca, Francesco
dc.date.accessioned2026-04-09T07:49:59Z
dc.date.issued2023-11-29
dc.descriptionUniversità della Calabria Dipartimento di Matematica e Informatica Dottorato di Ricerca in Matematica e Informatica XXXVI ciclo
dc.identifier.urihttp://hdl.handle.net/10955/5750
dc.language.isoen
dc.publisherUniversità della Calabria
dc.relation.ispartofseriesINF/01
dc.subjectAnswer Set Programming
dc.subjectGrounding Bottlenec􀅬
dc.subjectCompilation
dc.subjectASP with 􀁙uantifiers
dc.subjectLogic Programming
dc.titleOptimizing Evaluation of Logic Programs: Extended Compilation & Enhanced Rewritings
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TesiGiuseppeMazzotta_a_signed.pdf
Size:
1.27 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
52 B
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Dipartimento di Matematica e Informatica - Tesi di Dottorato