AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems