DL2: Training and Querying Neural Networks with Logic.
Marc FischerMislav BalunovicDana Drachsler-CohenTimon GehrCe ZhangMartin T. VechevPublished in: ICML (2019)
Keyphrases
- neural network
- training process
- training algorithm
- feed forward neural networks
- feedforward neural networks
- formal logic
- description logics
- multi layer perceptron
- artificial neural networks
- backpropagation algorithm
- query language
- neural network training
- back propagation
- recurrent networks
- recurrent neural networks
- logic programming
- training set
- training examples
- predicate logic
- computational properties
- expressive power
- supervised learning
- multi layer
- multi valued
- databases
- error back propagation
- classical logic
- knowledge representation formalisms
- database
- test set
- training samples
- training data
- hidden layer
- multilayer perceptron
- modal logic
- self organizing maps
- domain knowledge
- query processing
- neural network structure
- digital libraries
- machine learning