2:46 Grounding Stream Reasoning Research

for autonomous driving - on generalised neurosymbolic online abduction integrating vision and semantics. *Artif. Intell.*, 299:103522, 2021. doi: 10.1016/j.artint.2021.103522.

207 Dan Suciu, Dan Olteanu, Christopher Ré, and Christoph Koch. *Probabilistic databases*. Springer Nature, 2022. doi:10.1007/978-3-031-01879-4.

208 Gábor Szárnyas, Brad Bebee, Altan Birler, Alin Deutsch, George Fletcher, Henry A. Gabb, Denise Gosnell, Alastair Green, Zhihui Guo, Keith W. Hare, Jan Hidders, Alexandru Iosup, Atanas Kiryakov, Tomas Kovatchev, Xinsheng Li, Leonid Libkin, Heng Lin, Xiaojian Luo, Arnau PratPérez, David Püroja, Shipeng Qi, Oskar van Rest, Benjamin A. Steer, Dávid Szakállas, Bing Tong, Jack Waudby, Mingxi Wu, Bin Yang, Wenyuan Yu, Chen Zhang, Jason Zhang, Yan Zhou, and Peter Boncz. The linked data benchmark council (ldbc): Driving competition and collaboration in the graph data management space. In *TPCTC*, 2023. doi:10.48550/arXiv.2307.04350.

209 Gözde Ayşe Tataroğlu Özbulak. Decentralized stream reasoning agents. In *Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems*, pages 203–206, 2023. doi:10.1145/3583678.3603286.

210 Mahbod Tavallaee, Ebrahim Bagheri, Wei Lu, and Ali A. Ghorbani. A detailed analysis of the KDD CUP 99 data set. In *CISDA*, pages 1–6. IEEE, 2009. doi:10.1109/CISDA.2009.5356528.

211 Douglas B. Terry, David Goldberg, David A. Nichols, and Brian M. Oki. Continuous queries over append-only databases. In Michael Stonebraker, editor, *Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data*, San Diego, California, USA, June 2-5, 1992, pages 321–330. ACM Press, 1992. doi:10.1145/130283.130333.

212 Artem Thofimov, Igor E. Kuralenok, Nikiga Marshalkin, and Boris Novikov. Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing. *CoRR*, abs/1907.06250, 2019. doi:10.48550/arXiv.1907.06250.

213 Edward Thomas, Jeff Z. Pan, and Yuan Ren. Trowl: Tractable OWL 2 reasoning infrastructure. In Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, and Tania Tudorache, editors, *The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II*, volume 6089 of *Lecture Notes in Computer Science*, pages 431–435. Springer, 2010. doi:10.1007/978-3-642-13489-0_38.

214 Mattias Tiger and Fredrik Heintz. Stream reasoning using temporal logic and predictive probabilistic state models. In *TIME*, pages 196–205, 2016. doi:10.1109/TIME.2016.28.

215 Mattias Tiger and Fredrik Heintz. Incremental reasoning in probabilistic signal temporal logic. *Int. J. Approx. Reason.*, 119:325–352, 2020. doi: 10.1016/j.ijar.2020.01.009.

216 Riccardo Tommasini, Pieter Bonte, Femke Ongenae, and Emanuele Della Valle. Rsp4j: an api for rdf stream processing. In *The Semantic Web: 18th International Conference, ESWC 2021*,

*Virtual Event, June 6-10, 2021, Proceedings 18*, pages 565-581. Springer, 2021. doi:10.1007/978-3-030-77385-4_34.

217 Riccardo Tommasini, Pieter Bonte, Fabiano Spiga, and Emanuele Della Valle. *Streaming Linked Data: From Vision to Practice*. Springer Nature, 2023. doi:10.1007/978-3-031-15371-6.

218 Riccardo Tommasini, Davide Calvaresi, and Jean-Paul Calbimonte. Stream reasoning agents: Blue sky ideas track. In *Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems*, pages 1664–1680, 2019. doi:10.5555/3306127.3331894.

219 Riccardo Tommasini, Emanuele Della Valle, Andrea Mauri, and Marco Brambilla. Rsplab: Rdf stream processing benchmarking made easy. In *The Semantic Web-ISWC 2017: 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II 16*, pages 202–209. Springer, 2017. doi:10.1007/978-3-319-68204-2_41.

220 Transaction Processing Performance Council (TPC). *TPC-H Benchmark Specification*, 2023. URL: http://www.tpc.org/tpch/.

221 Georgia Troullinou, Haridimos Kondylakis, Matteo Lissandrini, and Davide Mottin. SOFOS: Demonstrating the Challenges of Materialized View Selection on Knowledge Graphs. In *Proceedings of the 2021 International Conference on Management of Data, SIGMOD/PODS '21*, pages 2789-2793, New York, NY, USA, 2021. Association for Computing Machinery. event-place: Virtual Event, China. doi:10.1145/3448016.3452765.

222 Efthymia Tsamoura, David Carral, Enrico Malizia, and Jacopo Urbani. Materializing Knowledge Bases via Trigger Graphs. *Proc. VLDB Endow.*, 14(6):943–956, 2021. doi:10.14778/3447689.3447699.

223 Jacopo Urbani, Markus Krötzsch, and Thomas Eiter. Chasing streams with existential rules. In Gabriele Kern-Isberner, Gerhrd Lakemeyer, and Thomas Meyer, editors, *Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)*, pages 416–421. IJCAI, 2022. URL: https://proceedings.kr.org/2022/43/.

224 Nithya N Vijayakumar and Beth Plale. Towards low overhead provenance tracking in near real-time stream filtering. In *International provenance and annotation workshop*, pages 46–54. Springer, 2006. doi:10.1007/11890850_6.

225 Raphael Volz, Steffen Staab, and Boris Motik. Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. *J. Data Semant.*, 2:1–34, 2005. doi:10.1007/978-3-540-30567-5_1.

226 Przemysław A. Walega, Mark Kaminski, and Bernardo Cuenca Grau. Reasoning over streaming data in metric temporal datalog. In *AAAI*, pages 3092–3099, 2019. doi:10.1609/aaai.v33i01.33013092.

227 Przemysław A Wałega, Mark Kaminski, Dingmin Wang, and Bernardo Cuenca Grau. Stream reasoning with DatalogMTL. *Journal of Web Semantics*, 76:100776, 2023. doi:10.1016/j.websem.2023.100776.
228 Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, and Egor V. Kostylev. The stable model semantics of datalog with metric temporal operators. Theory and Practice of Logic Programming, pages 1–35, 2023. doi:10.1017/S1471068423000315.

229 Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, and Bernardo Cuenca Grau. Datalogmtl with negation under stable models semantics. In Meghyn Bienvenu, Gerhard Lakemeyer, and Esra Erdem, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021, pages 609–618, 2021. doi:10.24963/kr.2021/58.

230 Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, and Bernardo Cuenca Grau. MeTeoR: Practical reasoning in datalog with metric temporal operators. In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pages 5906–5913. AAAI Press, 2022. doi:10.1609/AAAI.V36I5.20535.

231 Guozhang Wang, Lei Chen, Ayusman Dikshit, Jason Gustafson, Boyang Chen, Matthias J. Sax, John Roesler, Sophie Blee-Goldman, Bruno Cadonna, Apurva Mehta, Varun Madan, and Jun Rao. Consistency and completeness: Rethinking distributed stream processing in apache kafka. In Guoliang Li, Zhanhuai Li, Stratos Idreos, and Divesh Srivastava, editors, SIGMOD '21: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021, pages 2602–2613. ACM, 2021. doi:10.1145/3448016.3457556.

232 Min Wang, Marion Blount, John Davis, Archan Misra, and Daby Sow. A time-and-value centric provenance model and architecture for medical event streams. In Proceedings of the 1st ACM SIGMOBILE international workshop on Systems and networking support for healthcare and assisted living environments, pages 95–100, 2007. doi:10.1145/1248054.1248082.

233 Yi Wang and Joohyung Lee. Handling uncertainty in answer set programming. In Blai Bonet and Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, pages 4218–4219. AAAI Press, 2015. doi:10.1609/aaai.v29i1.9726.

234 Zhun Yang, Adam Ishay, and Joohyung Lee. Neurasp: Embracing neural networks into answer set programming. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pages 1755–1762. ijcai.org, 2020. doi:10.24963/ijcai.2020/243.

235 Huaxiu Yao, Caroline Choi, Bochuan Cao, Yoonho Lee, Pang Wei Koh, and Chelsea Finn. Wild-time: A benchmark of in-the-wild distribution shift over time. In Sanmi Koyejo, S. Mohamed, A. Agarwal, Danielle Belgrave, K. Cho, and A. Oh, editors, Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022, 2022. URL: http://papers.nips.cc/paper_files/paper/2022/hash/43119db5d59f07cc08fca7ba6820179a-Abstract-Datasets_and_Benchmarks.html.

236 Carlo Zaniolo. Logical foundations of continuous query languages for data streams. In Datalog, pages 177–189, 2012. doi:10.1007/978-3-642-32925-8_18.

237 Friedemann Zenke, Ben Poole, and Surya Gan-guli. Continual Learning Through Synaptic Intelligence. In International Conference on Machine Learning, pages 3987–3995, 2017-07-17. doi: 10.5555/3305890.3306093.

238 Shuhao Zhang, Juan Soto, and Volker Markl. A survey on transactional stream processing. CoRR, abs/2208.09827, 2022. doi:10.48550/arXiv.2208.09827.

239 Ying Zhang, Pham Minh Duc, Oscar Corcho, and Jean-Paul Calbimonte. Srbench: a streaming rf/sparql benchmark. In The Semantic Web-ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I 11, pages 641–657. Springer, 2012. doi:10.1007/978-3-642-35176-1_40.

240 Giacomo Ziffer, Alessio Bernardo, Emanuele Della Valle, and Albert Bifet. Kalman filtering for learning with evolving data streams. In Yixin Chen, Heiko Ludwig, Yicheng Tu, Usama M. Fayyad, Xingquan Zhu, Xiaohua Hu, Suren Byna, Xiong Liu, Jianping Zhang, Shirui Pan, Vagelis Papal-exakis, Jianwu Wang, Alfredo Cuzzocrea, and Carlos Ordonez, editors, 2021 IEEE International Conference on Big Data (Big Data), Orlando, FL, USA, December 15-18, 2021, pages 5337–5346. IEEE, 2021. doi:10.1109/BIGDATA52589.2021.9671365.

241 Giacomo Ziffer, Alessio Bernardo, Emanuele Della Valle, Vitor Cerqueira, and Albert Bifet. Towards time-evolving analytics: Online learning for time-dependent evolving data streams. Data Science, 6(1-2):1–16, 2022.

242 Indre Zliobaite, Albert Bifet, Jesse Read, Bernhard Pfahringer, and Geoff Holmes. Evaluation methods and decision theory for classification of streaming data with temporal dependence. Mach. Learn., 98(3):455–482, 2015. doi:10.1007/s10994-014-5441-4.