On Reasoning About Rings.

E. Allen Emerson Kedar S. Namjoshi

Published in: Int. J. Found. Comput. Sci. (2003)

Keyphrases

spatial reasoning
data sets
qualitative reasoning
object recognition
relational databases
qualitative spatial
feature selection
bayesian networks
temporal logic
complete axiomatization