Du, H., Nguyen, H., Alechina, N., Logan, B., Jackson, M., & Goodwin, J. (2015). Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. Proceedings of the AAAI Conference on Artificial Intelligence, 29(2), 3948-3953. https://doi.org/10.1609/aaai.v29i2.19052