pith. sign in

Title resolution pending

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

fields

cs.AI 1

years

2026 1

verdicts

UNVERDICTED 1

clear filters

representative citing papers

First-Order Temporal Logic Tensor Networks

cs.AI · 2026-06-29 · unverdicted · novelty 7.0

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.

citing papers explorer

Showing 1 of 1 citing paper after filters.

  • First-Order Temporal Logic Tensor Networks cs.AI · 2026-06-29 · unverdicted · none · ref 1

    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.