Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems