Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský. stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. In Ulle Endriss, Francisco S. Melo, Kerstin Bach, Alberto José Bugarín Diz, Jose Maria Alonso-Moral, Senén Barro, Fredrik Heintz, editors, ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). Volume 392 of Frontiers in Artificial Intelligence and Applications, pages 1381-1388, IOS Press, 2024. [doi]
Abstract is missing.