Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.
Gustavo Santos-GarcíaMiguel PalominoAlberto VerdejoPublished in: DCAI (2008)
Keyphrases
- neural network
- data sets
- genetic algorithm
- pattern recognition
- artificial neural networks
- fuzzy logic
- logic programming
- formal specification
- back propagation
- efficient implementation
- operational semantics
- automated reasoning
- theorem prover
- recurrent neural networks
- modal logic
- neural network model
- data model
- query processing
- databases