Theories and Methods of Spatio-Temporal Reasoning in Geographic Space