LTNtorch: PyTorch Implementation of Logic Tensor Networks

Tommaso Carraro, Luciano Serafini, Fabio Aiolli

Logic Tensor Networks (LTN) is a Neuro-Symbolic framework that effectively incorporates deep learning and logical reasoning. In particular, LTN allows defining a logical knowledge…