Browse by Authors and EditorsNumber of items: 2. Conference or Workshop ItemDu, Heshan, Nguyen, Hai Hoang, Alechina, Natasha, Logan, Brian, Jackson, Mike and Goodwin, John (2015) Using qualitative spatial logic for validating crowd-sourced geospatial data. In: Innovative Applications of Artificial Intelligence (IAAI-15), 25-29 Jan 2015, Austin, Texas, USA. Thesis (University of Nottingham only)Nguyen, Hai Hoang (2014) Truth maintenance in knowledge-based systems. PhD thesis, University of Nottingham. |