Differential Logical Relations Part II: Increments and Derivatives.

Ugo Dal Lago Francesco Gavazzo

Published in: ICTCS (2020)

Keyphrases

logical structure
higher order
truth values
neural network
computer vision
data sets
video sequences
semantic relations
binary relations
logical representation