Morelli, Maria ConcettaTerracina, GiorgioManna, MarcoPerri, Simona2026-04-012024-04-09http://hdl.handle.net/10955/5738Università della Calabria. Dipartimento di Matematica e Informatica. Dottorato di ricerca in Matematica e Informatica. Ciclo XXXVenStream ReasoningDatalogAnswer Set ProgrammingKnowledge Representation and ReasoningRelative ExpressivenessEnhancing DLV for reasoning over streams: the LDSR language and its expressivenessThesis