Self-Verifying Axiom Systems.

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

neural network
complex systems
learning algorithm
building blocks
intelligent systems
management system
relational databases
multi agent systems
computing systems
retrieval systems
digital libraries
real time
data structure
three dimensional
genetic algorithm
databases
data sets