Nondeterminism, parallelism and intermittent assertions.

Reino Kurki-Suonio

Published in: Mathematical Studies of Information Processing (1978)

Keyphrases

parallel processing
situation calculus
shared memory
knowledge base
fine grain
parallel execution
computational power
coarse grain
parallel computation
massively parallel
artificial intelligence
parallel computing
decision trees
parallel architectures
genetic algorithm
machine learning
real world