杜何珊

计算机系副教授

计算机科学系 / 理工学院

博士学位: 英国诺丁汉大学

学士学位: 英国诺丁汉大学

杜何珊博士于2016年加入宁波诺丁汉大学，现任计算机科学系副教授。此前，她在英国利兹大学计算机系从事科研工作。她的主要研究方向包括：定性空间逻辑、定性空间推理、描述逻辑、知识图谱推理、本体与语义网、地理信息系统、决策支持系统等。主要教学包括：算法、离散数学、知识表示与推理等。

DBLP: http://dblp.uni-trier.de/pers/hd/d/Du:Heshan

Google Scholar: https://scholar.google.co.uk/citations?user=Dj2Z4zQAAAAJ

Research Gate: https://www.researchgate.net/profile/Heshan_Du2

Dr. Heshan Du has research interests in logic, artificial intelligence, geospatial information science, ontologies and semantic web.

Selected Publications

• H. Du and N. Alechina, “Qualitative Spatial Logics for Buffered Geometries,” Journal of Artificial Intelligence Research, vol. 56, pp. 693–745, 2016.
• H. Du, N. Alechina, M. Jackson, and G. Hart, “A Method for Matching Crowd-sourced and Authoritative Geospatial Data,” Transactions in GIS, 2016. doi:10.1111/tgis.12210.
• H. Du, V. Dimitrova, D. Magee, R. Stirling, G. Curioni, H. Reeves, B. Clarke, and A.G. Cohn, “An Ontology of Soil Properties and Processes,” in Proceedings of the 15th International Semantic Web Conference (ISWC), pp. 30–37, 2016.
• B. Bennett, H. Du, L. Gomez Alvarez, and A.G. Cohn, “Defining Relations: A General Incremental Approach with Spatial Temporal Case Studies”, in Proceedings of the 9th International Conference on Formal Ontology in Information Systems (FOIS), pp. 23–36, 2016.
• H. Du, H. Nguyen, N. Alechina, B. Logan, M. Jackson, and J. Goodwin, “Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data,” in Proceedings of the 29th AAAI Conference on Artificial Intelligence (the 27th Conference on Innovative Applications of Artificial Intelligence), pp. 3948–3953, 2015.
• H. Du, N. Alechina, G. Hart, and M. Jackson, “A Tool for Matching Crowd-sourced and Authoritative Geospatial Data,” in Proceedings of the 2015 International Conference on Military Communications and Information Systems, pp. 1–8, 2015.
• H. Du and N. Alechina, “A Logic of Part and Whole for Buffered Geometries,” in Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), pp. 997–998, 2014.
• H. Du, N. Alechina, K. Stock, and M. Jackson, “The Logic of NEAR and FAR,” in Proceedings of the 11th International Conference on Spatial Information Theory (COSIT) (T. Tenbrink, J. G. Stell, A. Galton, and Z. Wood, eds.), vol. 8116 of Lecture Notes in Computer Science, pp. 475–494, Springer, 2013.
• H. Du, N. Alechina, M. Jackson, and G. Hart, “Matching Formal and Informal Geospatial Ontologies,” in Proceedings of the 16th AGILE International Conference on Geographic Information Science: Geographic Information Science at the Heart of Europe (D. Vandenbroucke, B. Bucher, and J. Crompvoets, eds.), Lecture Notes in Geoinformation and Cartography, pp. 155–171, Springer, 2013.
• H. Du, S. Anand, N. Alechina, J. G. Morley, G. Hart, D. G. Leibovici, M. Jackson, and J. M. Ware, “Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data,” Transactions in GIS, vol. 16, no. 4, pp. 455–476, 2012.