Keyword:declarative semantics

Publications
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart and Kathrin Stark In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning