Du H, Nguyen H, Alechina N, Logan B, Jackson M, Goodwin J. Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. AAAI [Internet]. 2015 Jan. 25 [cited 2026 May 25];29(2):3948-53. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/19052