Connectionist model generation: A first-order approach.
Sebastian BaderPascal HitzlerSteffen HölldoblerPublished in: Neurocomputing (2008)
Keyphrases
- neural network
- higher order
- expert systems
- first order logic
- cognitive model
- quantifier elimination
- connectionist networks
- term rewriting
- linear temporal logic
- connectionist models
- real world
- parallel distributed processing
- associative memory
- database
- mobile robot
- pairwise
- computer science
- knowledge base
- information systems