Elena V. Ravve. Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams. In Andreas Herzig, Juha Kontinen, editors, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Volume 12012 of Lecture Notes in Computer Science, pages 242-262, Springer, 2020. [doi]
Abstract is missing.