Incompleteness Along Paths in Progressions of Theories.

Solomon Feferman C. Spector

Published in: J. Symb. Log. (1962)

Keyphrases

shortest path
incomplete information
computational models
legal knowledge
databases
optimal path
path finding
cognitive psychology
general theory
genetic algorithm
artificial intelligence
information systems
case study
bayesian networks
path length