Heshan Du
3 papers
· 2018–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(6)
🐝
Cross-Pollinator
(15)
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
Keywords
euclidean space
(2)
spatial reasoning
(2)
satisfiability problem
(1)
metric space
(1)
risk assessment
(1)
geospatial datum
(1)
formal logic
(1)
decision support
(1)
formal semantics
(1)
inference engine
(1)
spatial logic
(1)
qualitative spatial logic
(1)
finite axiomatisability
(1)
axiomatic system
(1)
direction logic
(1)
knowledge base
(1)
direction relation
(1)
automated reasoning
(1)