Artificial Neural Networks that Learn to Satisfy Logic Constraints.
Gadi PinkasShimon CohenPublished in: CoRR (2017)
Keyphrases
- artificial neural networks
- neural network
- using artificial neural networks
- constrained optimization
- derivation rules
- learning rules
- constraint satisfaction
- computational intelligence
- feed forward
- modal logic
- geometric constraints
- classical logic
- application of artificial neural networks
- radial basis function
- multilayer perceptron
- multi agent systems
- clustering algorithm
- database