Sign in

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.

Gilles BartheRaphaëlle CrubilléUgo Dal LagoFrancesco Gavazzo
Published in: ESOP (2020)
Keyphrases
  • logical structure
  • neural network
  • real time
  • information systems
  • data sets
  • semi automatic
  • fully automatic
  • learning algorithm
  • bayesian networks
  • wordnet
  • probabilistic logic
  • set valued attributes