Login / Signup
Logic and reasoning with neural models
Franz J. Kurfess
Published in:
Forschungsberichte, TU Munich (1989)
Keyphrases
</>
neural models
proof theory
automated reasoning
deductive reasoning
neural architectures
neural model
neural network model
bio inspired
neural network
artificial neural networks
spiking neural networks
recurrent neural networks
genetic algorithm
artificial intelligence
mobile robot
genetic programming