Interval Logic Tensor Networks.

Samy Badreddine Gianluca Apriceno Andrea Passerini Luciano Serafini

Published in: CoRR (2023)

Keyphrases

high order
social networks
complex networks
computer networks
automated reasoning
data sets
dimensionality reduction
logic programming
community detection
computational properties
proof theory
image sequences
network structure
classical logic
deontic logic
asynchronous circuits