Ali Ballout, Célia da Costa Pereira, Andrea G. B. Tettamanzi. Learning to Classify Logical Formulas Based on Their Semantic Similarity. In Reyhan Aydogan, Natalia Criado, Jérôme Lang, Víctor Sánchez-Anguix, Marc Serramia, editors, PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings. Volume 13753 of Lecture Notes in Computer Science, pages 364-380, Springer, 2022. [doi]
Abstract is missing.