Scalable Coupling of Deep Learning with Logical Reasoning.

Marianne Defresne Sophie Barbe Thomas Schiex

Published in: IJCAI (2023)

Keyphrases

deep learning
logical reasoning
unsupervised learning
formal semantics
unsupervised feature learning
machine learning
weakly supervised
higher order
restricted boltzmann machine
mental models
deep architectures
supervised learning
training set
feature space
face recognition
computer vision
data sets