Login / Signup
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem.
Gilles Barthe
Raphaëlle Crubillé
Ugo Dal Lago
Francesco Gavazzo
Published in:
CoRR (2020)
Keyphrases
</>
logical structure
set valued attributes
information systems
databases
neural network
relational databases
query optimization
conjunctive queries
semantic relations
temporal relations
probabilistic logic
causal relations
truth values