Pacenza, FrancescoGreco, GianluigiIanni, GiovambattistaZangari, Jessica2024-12-032024-12-032021-07-03https://hdl.handle.net/10955/5516Università della Calabria, Dipartimento di Matematica e Informatica. Dottorato di ricerca in Informatica. Ciclo XXXIIIenAnswer set programmingOvergroundingStream reasoningKnowledge RepresentationgroundingThesis