I-DLV-sr: A Stream Reasoning System based on I-DLV. - CALIMERI, FRANCESCO; MANNA, MARCO; MASTRIA, ELENA; MORELLI, MARIA CONCETTA; PERRI, SIMONA; ZANGARI, JESSICA (Theory & Practice of Logic Programming, 2021)