A Theory of Nondeterminism.

Richard Kennaway C. A. R. Hoare

Published in: ICALP (1980)

Keyphrases

theoretical framework
artificial intelligence
image processing
real world
general theory
data sets
databases
neural network
case study
bayesian networks
digital libraries
situation calculus
theoretical basis
planning domains
formal theory