Du, H., & Alechina, N. (2019, January). Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. Presented at 33rd AAAI Conference on Artificial Intelligence (AAAI-19), Honolulu, Hawaii, USA