Qualitative Simulation Based on a Logical Formalism of Space and Time.

Zhan Cui Anthony G. Cohn David A. Randell

Published in: AAAI (1992)

Keyphrases

formal model
knowledge representation
qualitative reasoning
qualitative spatial
data sets
genetic algorithm
case study
search space
principal component analysis
low dimensional
vector space
temporal information
higher dimensional
logical framework
qualitative spatial reasoning