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.
Logic Tensor Networks , volume =
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
NeSyCat Torch gives a monad-parametric, tensor-implemented semantics for neurosymbolic learning that supports neural predicates and shows competitive MNIST-addition performance across HaskTorch, JAX and PyTorch backends.
ToxiREX is a new dataset of 128k Reddit comments in six languages with hierarchical annotations for implicit toxicity in conversational context based on an existing reasoning schema.
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.
-
NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning
NeSyCat Torch gives a monad-parametric, tensor-implemented semantics for neurosymbolic learning that supports neural predicates and shows competitive MNIST-addition performance across HaskTorch, JAX and PyTorch backends.