FOT-LTN extends Logic Tensor Networks by integrating first-order linear temporal logic syntax with fuzzy differentiable semantics, supporting temporal operators and quantifiers, and shows improved performance over neural baselines on synthetic temporal knowledge graph completion tasks.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
First-Order Temporal Logic Tensor Networks
FOT-LTN extends Logic Tensor Networks by integrating first-order linear temporal logic syntax with fuzzy differentiable semantics, supporting temporal operators and quantifiers, and shows improved performance over neural baselines on synthetic temporal knowledge graph completion tasks.