BRAINN: A Connectionist Approach to Symbolic Reasoning.

Rafal Bogacz Christophe G. Giraud-Carrier

Published in: NC (1998)

Keyphrases

symbolic reasoning
symbolic representation
production rules
diagrammatic reasoning
genetic algorithm
decision trees
preprocessing
high dimensional
knowledge based systems
model checking