Approximating the Semantics of Logic Programs by Recurrent Neural Networks.
Steffen HölldoblerYvonne KalinkeHans-Peter StörrPublished in: Appl. Intell. (1999)
Keyphrases
- recurrent neural networks
- semantics of logic programs
- deductive databases
- logic programs
- answer sets
- fixpoint
- neural network
- logic programming
- feed forward
- reservoir computing
- echo state networks
- neural model
- recurrent networks
- artificial neural networks
- truth values
- integrity constraints
- answer set programming
- query evaluation
- nonlinear dynamic systems
- database
- query processing
- information systems
- background knowledge
- answer set semantics
- cascade correlation