萬海

2012.1-至今 中山大學數據科學與計算機學院（軟件學院），副教授，博導 ^[1] 

2015.7-2015.9 麻省理工學院（Massachusetts Institute of Technology）, USA

2014.11-2015.2 新南威爾士大學（University of New South Wales）, Australia

2014.11-2015.2 西悉尼大學（University of Western Sydney）, Australia

2009.12-2011.1 西悉尼大學（University of Western Sydney），Australia ^[1] 

[1] 2015年國家自然科學基金；穩定模型語義下不一致本體的存在規則語言修復理論研究與實現；項目批准號：61573386；萬海（主持人）。

[2] 2017年廣東省前沿與關鍵技術創新項目：虛擬現實與增強現實場景下基於多模態人機自然交互的3D建模技術與產業化應用，萬海（主持人）。

[3] 2016年廣東省前沿與關鍵技術創新項目：面向教育的分佈式雲系統-雲簇關鍵技術研究，萬海（主持人）。

[4] 2016年廣東省自然科學基金；面向公共知識的多智能體認知規劃關鍵技術研究與實現；項目申請號：508257922126；萬海（主持人）。

[5] 2012年廣東省自然科學基金；若干非單調邏輯可譯問題研究與求解器實現；項目批准號：S2012010009836；萬海（主持人）。

[6] 2011年度博士點基金自然科學類課題；穩定模型下一階邏輯理論求解及其在基於模型程序診斷的應用研究；項目批准號：20110171120041；萬海（主持人）。

[7] 2017年廣州市科技計劃項目；穩定模型語義下存在規則語言的本體查詢回答理論研究與實現；項目成員：萬海（主持人）。

[8] 2013年廣州市科技計劃項目；若干非單調邏輯可譯性研究及其在面向SOA服務組合診斷；項目批准號：2013J41000582013；萬海（主持人）。

[9] 2016高校基本科研業務費中山大學青年教師培育項目;有窮結構上若干一階非單調邏輯計算方法的研究及異構海量數據語義查詢求解器實現；萬海（主持人）。 ^[1] 

Wanshan Zheng, Zibin Zheng, Hai Wan, Chuan Chen. CNDynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI2019. Accepted.

Hai Wan, Yonghao Luo, Bo Peng, Wei-Shi Zheng: Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. IJCAI 2018: 949-956.

Zhou Yin, Wei-Shi Zheng, Ancong Wu, Hong-Xing Yu, Hai Wan, Xiaowei Guo, Feiyue Huang, Jianhuang Lai. Adversarial Attribute-Image Person Re-identification. IJCAI 2018: 1100-1106.

Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu: A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI 2017: 1093-1101.

Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su: Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI 2017: 4463-4469.

Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang: Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI 2016: 1095-1101.

Quan Yu, Hai Wan, Jiangtao Xu, Freddy Lécué, Liang Chang: Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. ECAI 2016: 1596-1597.

Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu: Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI 2016: 1130-1137.

Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan: Splitting a Logic Program Revisited. AAAI 2015: 1511-1517.

Jianmin Ji, Hai Wan, Peng Xiao: On Elementary Loops and Proper Loops for Disjunctive Logic Programs. AAAI 2015: 1518-1524.

Huaping Zhong, Jianwen Zhang, Zhen Wang, Hai Wan, Zheng Chen: Aligning Knowledge and Text Embeddings by Entity Descriptions. EMNLP 2015: 267-272.

Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan: Simplifying A Logic Program Using Its Consequences. IJCAI 2015: 3069-3075.

Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu: A Complete Epistemic Planner without the Epistemic Closed World Assumption. IJCAI 2015: 3257-3263.

Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao: Elementary Loops Revisited. AAAI 2014: 1063-1069.

Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang: Computing General First-Order Parallel and Prioritized Circumscription. AAAI 2014: 1105-1111. ^[1] 

萬海，一種基於迭代精細化的圖像場景圖譜生成方法，公開，編號：201910028169.0，日期：2019/1/11

萬海，一種基於二次主題空間投影的場景圖譜低維空間嵌入方法，公開，編號：201910027580.6，日期：2019/1/11

萬海，一種基於Horn邏輯與圖神經網絡的場景圖譜向量化方法，公開，編號：201910027540.1，日期：2019/1/11

萬海，一種基於圖二階相似性的知識圖譜實體語義空間嵌入方法，公開，編號：201910027549.2，日期：2019/1/11

萬海，一種基於圖像場景圖譜對齊的圖像查詢回答方法，公開，編號：201810226645.5，日期：2018/3/19

萬海，基於源代碼多標籤圖神經網絡的程序代碼抄襲類型檢測方法與系統，公開，編號：201810226651.0，日期：2018/3/19 ^[1] 

研究生課程：知識的表示與推理

本科生課程：人工智能、編譯原理、操作系統、程序設計、自主移動機器人導論、自然語言處理與知識圖譜 ^[1]