Du, Heshan

6 publications

JAIR 2023 A Logic of East and West Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn

IJCAI 2020 A Logic of Directions Heshan Du, Natasha Alechina, Anthony G. Cohn

AAAI 2019 Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable Heshan Du, Natasha Alechina

IJCAI 2018 Automated Reasoning for City Infrastructure Maintenance Decision Support Lijun Wei, Derek R. Magee, Vania Dimitrova, Barry Clarke, Heshan Du, Quratul-ain Mahesar, Kareem Al Ammari, Anthony G. Cohn

JAIR 2016 Qualitative Spatial Logics for Buffered Geometries Heshan Du, Natasha Alechina

AAAI 2015 Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin