萬海(中山大學數據科學與計算機學院副教授)

萬海，男，博士，中山大學數據科學與計算機學院副教授。

基本介紹

• 中文名：萬海
• 畢業院校：麻省理工學院
• 學位/學歷：博士
• 專業方向：知識的表示與推理等
• 任職院校：中山大學

研究領域

知識的表示與推理（KR）、回答集編程 (ASP)、場景圖譜 (SG)、可滿足性問題 (SAT)、組合最佳化問題 (COP)

人物經歷

工作經歷

• 2012.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] 2015年國家自然科學基金；穩定模型語義下不一致本體的存在規則語言修復理論研究與實現；項目批准號：61573386；萬海（主持人）。
• [2] 2017年廣東省前沿與關鍵技術創新項目：虛擬現實與增強現實場景下基於多模態人機自然互動的3D建模技術與產業化套用，萬海（主持人）。
• [3] 2016年廣東省前沿與關鍵技術創新項目：面向教育的分散式雲系統-雲簇關鍵技術研究，萬海（主持人）。
• [4] 2016年廣東省自然科學基金；面向公共知識的多智慧型體認知規劃關鍵技術研究與實現；項目申請號：508257922126；萬海（主持人）。
• [5] 2012年廣東省自然科學基金；若干非單調邏輯可譯問題研究與求解器實現；項目批准號：S2012010009836；萬海（主持人）。
• [6] 2011年度博士點基金自然科學類課題；穩定模型下一階邏輯理論求解及其在基於模型程式診斷的套用研究；項目批准號：20110171120041；萬海（主持人）。
• [7] 2017年廣州市科技計畫項目；穩定模型語義下存在規則語言的本體查詢回答理論研究與實現；項目成員：萬海（主持人）。
• [8] 2013年廣州市科技計畫項目；若干非單調邏輯可譯性研究及其在面向SOA服務組合診斷；項目批准號：2013J41000582013；萬海（主持人）。
• [9] 2016高校基本科研業務費中山大學青年教師培育項目;有窮結構上若干一階非單調邏輯計算方法的研究及異構海量數據語義查詢求解器實現；萬海（主持人）。

代表論著

中國計算機協會CCF推薦A類和B類論文

• 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.

智慧財產權

• 萬海，一種基於疊代精細化的圖像場景圖譜生成方法，公開，編號：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

教授課程

• 研究生課程：知識的表示與推理
• 本科生課程：人工智慧、編譯原理、作業系統、程式設計、自主移動機器人導論、自然語言處理與知識圖譜