collaborators

1 paper

cs.AI2026

First-Order Temporal Logic Tensor Networks

Luca Boscarato, Ivan Donadello, Alessandro Artale +2

Most of the existing neuro-symbolic AI methods focus on the scenario of static knowledge where objects do not change according to a temporal dimension. Temporal neuro-symbolic work…