2 papers
cs.AI2026
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…
cs.AI2025
Lifted Inference beyond First-Order Logic
Sagar Malhotra, Davide Bizzaro, Luciano Serafini
Weighted First Order Model Counting (WFOMC) is fundamental to probabilistic inference in statistical relational learning models. As WFOMC is known to be intractable in general ($\#…