Reasoning about Rings.

E. Allen Emerson Kedar S. Namjoshi

Published in: POPL (1995)

Keyphrases

qualitative reasoning
spatial reasoning
formal theory
data sets
machine learning
decision trees
case study
multiscale
support vector
expert systems
multiresolution
mobile robot