sLTN: Structural Logic Tensor Networks

Davide Rinaldi, Luciano Serafini

Logic Tensor Networks (LTN) provide a neurosymbolic framework in which first-order logic is interpreted through tensor operations, enabling logical constraints to be integrated wit…