Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart 0001, Kathrin Stark. Logic of Differentiable Logics: Towards a Uniform Semantics of DL. In Ruzica Piskac, Andrei Voronkov, editors, LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. Volume 94 of EPiC Series in Computing, pages 473-493, EasyChair, 2023. [doi]
Abstract is missing.