ULLER: A unified language for learning and reasoning
Published in NeSy (Spotlight), 2024
Using MathJax in the description is supported - \(E=mc^2\) - however, the use must be mindful that the default delimiters are $$...$$ and \\[...\\] which differs from the $...$ that is typically expected.
Recommended citation: van Krieken, E., Badreddine, S., Manhaeve, R., and Giunchiglia, E. Uller: A unified language for learning and reasoning. In International Conference on Neural-Symbolic Learning and Reasoning, pp. 219–239. Springer, 2024.
Download Paper