万海主页

发表论文

Hai Wan（万海）, Biqing Fang, Yongmei Liu: A General Multi-agent Epistemic Planner based on Higher-order Belief Change. Artificial Intelligence. 301: 103562 (2021).
Hai Wan（万海）, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye: A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) 2021: 1030-1039.
Hai Wan（万海）, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan: FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. AAAI 2021: 13916-13923.
Hai Wan（万海）, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang: Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI 2020: 3017-3024.
Weilin Luo, Hai Wan（万海）, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen: How to Identify Boundary Conditions with Contrasty Metric? ICSE 2021: 1473-1484.
Hai Wan（万海）, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang: Enhancing Metaphor Detection by Gloss-based Interpretations. ACL/IJCNLP (Findings) 2021: 1971-1981.
Hai Wan（万海）, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan:Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. AAAI 2020: 9122-9129.
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.
Hai Wan（万海）, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang: Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI 2016: 1095-1101.
Hai Wan（万海）, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu: A Complete Epistemic Planner without the Epistemic Closed World Assumption. IJCAI 2015: 3257-3263.
Hai Wan（万海）, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang: Computing General First-Order Parallel and Prioritized Circumscription. AAAI 2014: 1105-1111.
Weilin Luo, Hai Wan（万海）, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen: How to Identify Boundary Conditions with Contrasty Metric? ICSE 2021: 1473-1484.
Weilin Luo, Ou Wei, Hai Wan（万海）: SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE Transactions on Reliability 70(2): 575-589 (2021).
Zhanhao Xiao, Hai Wan（万海）, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen: Refining HTN Methods via Task Insertion with Preferences. AAAI 2020: 10009-10016.
Peilin Chen, Hai Wan（万海）, Shaowei Cai, Jia Li, Haicheng Chen: Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI 2020: 2343-2350.
Weilin Luo, Hai Wan（万海）, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song:An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD 2021: 1-9.
Wanshan Zheng, Zibin Zheng, Hai Wan（万海）, Chuan Chen: Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI 2019: 5464-5470.
Weilin Luo, Hai Wan（万海）, Pingjia Liang, Jianfeng Du, Bo Peng, Delong Zhang: Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI2022. Accepted.
Weilin Luo, Hai Wan（万海）, Rongzhen Ye, Shaowei Cai, Biqing Fang, Delong Zhang: Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI2022. Accepted.
Kunxun Qi, Hai Wan（万海）, Jianfeng Du, Haonan Chen: Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. ACL2022. Accepted.
Weilin Luo, Hai Wan（万海）, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang: Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI2022. Accepted.
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.
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.
Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao: Elementary Loops Revisited. AAAI 2014: 1063-1069.

授权的知识产权

万海、钟洪桢、罗炜麟、范科峰、赵杭：一种形式化需求规约自动化修复方法, 2022-1-24, ZL202110022180.3 (已授权国家发明专利).
万海、罗永豪：一种基于图像场景图谱对齐的图像查询回答方法, 2022-2-18, ZL201910123591.4 (已授权国家发明专利).
万海、刘欣怡：基于源代码多标签图神经网络的程序代码抄袭检测方法与系统, 2022-1-14, ZL201810226651.0 (已授权国家发明专利).
万海、李雷来、曾娟：一种基于二次主题空间投影的场景图谱低维空间嵌入方法, 2022-3-7, ZL201910027580.6 (已授权国家发明专利).
万海、刘亚男、张漫榕、黄佳莉、曾娟：一种基于时态知识图谱推理的社交关系演变预测方法, 2022-4-22, ZL202110162361.6 (已授权国家发明专利).
万海、王宝亿、曾娟、欧佳玲：虚拟现实与增强现实场景下基于关系约束的场景图谱优化方法, 2022-1-12, ZL201911376814.4 (已授权国家发明专利).
苏晓恒、万海：一种中文文本知识图谱自动构建方法及系统, 2019-12-13, ZL201710050095.1 (已授权国家发明专利).
温木奇、刘鹏鹏、徐天源、万海：一种微服务化的网络安全实验系统, 2020-12-4, ZL201910159359.6 (已授权国家发明专利).
万海、王忠军、罗育林、沈大伟：面向多模态数据的分布式存储平台V3.0, 2020SR0925536, 2019-10-20 (已获授软件著作权).