删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
中山大学计算机学院导师教师师资介绍简介-万海
本站小编 Free考研考试/2021-05-19
所属研究所、院系:
量子计算与计算机理论研究所
职称:
副教授
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
相关话题/中山 大学计算机
中山大学计算机学院导师教师师资介绍简介-乔海燕
所属研究所、院系:量子计算与计算机理论研究所职称:副教授E-mail:qiaohy@mail.sysu.edu.cn办公地点:学院楼A306研究领域:Researchinterestsincludetypetheoryanditsapplicationstotheoremprovingandprog ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-蔡国扬
所属研究所、院系:量子计算与计算机理论研究所职称:高级讲师E-mail:isscgy@mail.sysu.edu.cn ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-吴向军
所属研究所、院系:量子计算与计算机理论研究所职称:副教授E-mail:issxjwu@mail.sysu.edu.cn ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-林倞
所属研究所、院系:大数据与计算智能研究所职称:教授E-mail:linliang@ieee.org个人主页:www.linliang.net教师简介:国家重大青年项目获得者,国家优秀青年基金获得者,教育部超算工程软件工程研究中心副主任,IETFellow。先后在美国加州大学洛杉矶分校、香港中文大学等 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-常会友
所属研究所、院系:大数据与计算智能研究所职称:教授E-mail:isschy@mail.sysu.edu.cn教师简介:博士,教授,博士生导师。入选国家人事部百千****才工程第二层次跨世纪人才。主要从事嵌入式系统、数据库、工作流、操作系统、大型制造业管理信息系统和计算机集成制造系统方面的研究。现为 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-权小军
所属研究所、院系:大数据与计算智能研究所职称:教授E-mail:quanxj3[at]mail.sysu.edu.cn办公地点:超算中心个人主页:https://sites.google.com/site/xiaojunquan教师简介:权小军,博士,教授,博士生导师。中国计算机学会自然语言处理专委 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-刘玉葆
所属研究所、院系:大数据与计算智能研究所职称:教授E-mail:liuyubao@mail.sysu.edu.cn教师简介:中山大学数据科学与计算机学院教授,博士生导师。2003年获华中科技大学计算机软件与理论专业博士学位。主要从事大数据,数据库,数据仓库与数据挖掘等方面的研究。近年来在SIGMOD ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-张雨浓
所属研究所、院系:大数据与计算智能研究所职称:教授办公电话:**E-mail:zhynong@mail.sysu.edu.cn办公地点:414室(Room414)个人主页:http://sdcs2.sysu.edu.cn/space/060009/教师简介:研究递归神经网络与冗余机械臂运动规划控制, ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-王甲海
所属研究所、院系:大数据与计算智能研究所职称:教授E-mail:wangjiah@mail.sysu.edu.cn办公地点:503E个人主页:OL-Lab(微信号)教师简介:王甲海,男,博士,教授,博士生导师。IEEE高级会员,CCF杰出会员。学院工会主席,大数据与计算智能研究所所长。研究领域:Ar ...中山大学师资导师 本站小编 Free考研考试 2021-05-19中山大学计算机学院导师教师师资介绍简介-周育人
所属研究所、院系:大数据与计算智能研究所职称:教授办公电话:E-mail:zhouyuren@mail.sysu.edu.cn教师简介:中山大学数据科学与计算机学院教授,博士生导师研究领域:计算智能、数据挖掘、社会网络教育背景:2003.12武汉大学计算机软件与理论专业,工学博士1991.7武汉大学 ...中山大学师资导师 本站小编 Free考研考试 2021-05-19