Keyphrases
- neural network
- spiking neurons
- network structure
- network architecture
- network size
- proof theory
- data sets
- recurrent networks
- set theory
- computational properties
- multi valued
- network design
- modal logic
- logic programming
- heterogeneous networks
- automated reasoning
- associative memory
- computer networks
- digital circuits
- complex networks
- social networks