Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering

Bernardo Cuteri, Nicola Leone, Francesco Ricca
2019
Dottorato di Ricerca in Matematica ed Informatica. Ciclo XXXI
doi:10.13126/unical.it/dottorati/1759 fatcat:nvipqoewhvdyhkgbcjgipgb5xi