所属研究所、院系:
量子计算与计算机理论研究所

职称:
副教授

E-mail:
wanhai@mail.sysu.edu.cn

办公地点:
A308, 数据科学与计算机学院, 中山大学 (东校区)

个人主页: http://sysuwanhai.github.io



研究领域:
知识的表示与推理（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年国家自然科学基金；稳定模型语义下不一致本体的存在规则语言修复理论研究与实现；项目批准号：**；万海（主持人）。
[2] 2017年广东省前沿与关键技术创新项目：虚拟现实与增强现实场景下基于多模态人机自然交互的3D建模技术与产业化应用，万海（主持人）。
[3] 2016年广东省前沿与关键技术创新项目：面向教育的分布式云系统-云簇关键技术研究，万海（主持人）。
[4] 2016年广东省自然科学基金；面向公共知识的多智能体认知规划关键技术研究与实现；项目申请号：6；万海（主持人）。
[5] 2012年广东省自然科学基金；若干非单调逻辑可译问题研究与求解器实现；项目批准号：S36；万海（主持人）。
[6] 2011年度博士点基金自然科学类课题；稳定模型下一阶逻辑理论求解及其在基于模型程序诊断的应用研究；项目批准号：041；万海（主持人）。
[7] 2017年广州市科技计划项目；稳定模型语义下存在规则语言的本体查询回答理论研究与实现；项目成员：万海（主持人）。
[8] 2013年广州市科技计划项目；若干非单调逻辑可译性研究及其在面向SOA服务组合诊断；项目批准号：2013J；万海（主持人）。
[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.
授权/公开的知识产权
万海，一种基于迭代精细化的图像场景图谱生成方法，公开，编号：9.0，日期：2019/1/11?
万海，一种基于二次主题空间投影的场景图谱低维空间嵌入方法，公开，编号：0.6，日期：2019/1/11?
万海，一种基于Horn逻辑与图神经网络的场景图谱向量化方法，公开，编号：0.1，日期：2019/1/11?
万海，一种基于图二阶相似性的知识图谱实体语义空间嵌入方法，公开，编号：9.2，日期：2019/1/11
万海，一种基于图像场景图谱对齐的图像查询回答方法，公开，编号：5.5，日期：2018/3/19
万海，基于源代码多标签图神经网络的程序代码抄袭类型检测方法与系统，公开，编号：1.0，日期：2018/3/19