Keyphrases
- network architecture
- neural network
- neural model
- knowledge base
- associative memory
- theorem proving
- neural learning
- proof planning
- database
- neural architecture
- artificial neural
- learning rules
- interactive theorem proving
- neural information processing
- neural computation
- linear logic
- evolutionary algorithm
- computer vision
- artificial intelligence
- data sets