On the incompleteness of proving partial correctness.

Tamás Gergely Miklós Szöts

Published in: Acta Cybern. (1978)

Keyphrases

incomplete information
partial information
genetic algorithm
databases
machine learning
artificial intelligence
computer vision
information systems
wide range
expert systems
evolutionary algorithm