Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri. A Formal Comparison between Datalog-based Languages for Stream Reasoning. In Mario Alviano, Andreas Pieris, editors, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022. Volume 3203 of CEUR Workshop Proceedings, pages 151-165, CEUR-WS.org, 2022. [doi]
Abstract is missing.