Equational Reasoning About Nondeterministic Processes.

Published in: Formal Aspects Comput. (1990)

Keyphrases

knowledge representation
artificial intelligence
theorem proving
machine learning
finite state
qualitative reasoning
computer vision
spatial reasoning
real time
data sets
image segmentation
multiscale
evolutionary algorithm
equational theories