Contracting Implicit Recurrent Neural Networks: Stable Models with Improved Trainability.
Max RevayIan R. ManchesterPublished in: L4DC (2020)
Keyphrases
- recurrent neural networks
- stable models
- logic programs
- logic programming
- recurrent networks
- echo state networks
- normal logic programs
- feed forward
- neural model
- neural network
- fixpoint
- reservoir computing
- general theory
- answer set programming
- deductive databases
- nonlinear dynamic systems
- artificial neural networks
- stable model semantics
- background knowledge
- answer sets
- loop formulas
- cascade correlation
- derivation rules