sLTN: Structural Logic Tensor Networks
Logic Tensor Networks (LTN) provide a neurosymbolic framework in which first-order logic is interpreted through tensor operations, enabling logical constraints to be integrated with differentiable learning. However, the original formulation of LTN is primarily suited to data represented as flat collections of individuals, and does not explicitly capture structural organization such as temporal…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
