Wan, Hai

40 publications

AAAI 2025 Robust Heterogeneous Graph Classification for Molecular Property Prediction with Information Bottleneck Zhibin Ni, Chang Liu, Hai Wan, Xibin Zhao

ICML 2024 Contamination-Resilient Anomaly Detection via Adversarial Learning on Partially-Observed Normal and Anomalous Data Wenxi Lv, Qinliang Su, Hai Wan, Hongteng Xu, Wenchao Xu

AAAI 2024 End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng

ECML-PKDD 2024 GLADformer: A Mixed Perspective for Graph-Level Anomaly Detection Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Dalin Zhang, Siyang Lu, Binyong Li, Wei Gong, Hai Wan, Xibin Zhao

IJCAI 2024 On the Logic of Theory Change Iteration of KM-Update, Revised Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai, Weiqi Luo, Hai Wan

AAAI 2024 QPEN: Quantum Projection and Quantum Entanglement Enhanced Network for Cross-Lingual Aspect-Based Sentiment Analysis Xingqiang Zhao, Hai Wan, Kunxun Qi

AAAI 2024 Revisiting Graph-Based Fraud Detection in Sight of Heterophily and Spectrum Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Xibin Zhao, Hai Wan

AAAI 2023 A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang

IJCAI 2023 Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract) Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati

NeurIPS 2023 Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion Kunxun Qi, Jianfeng Du, Hai Wan

AAAI 2022 Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang

NeurIPS 2022 Grow and Merge: A Unified Framework for Continuous Categories Discovery Xinwei Zhang, Jianwen Jiang, Yutong Feng, Zhi-Fan Wu, Xibin Zhao, Hai Wan, Mingqian Tang, Rong Jin, Yue Gao

AAAI 2022 Improving Local Search Algorithms via Probabilistic Configuration Checking Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang

IJCAI 2022 Teaching LTLf Satisfiability Checking to Neural Networks Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang

AAAI 2021 FL-MSRE: A Few-Shot Learning Based Approach to Multimodal Social Relation Extraction Hai Wan, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan

CVPR 2021 View-Guided Point Cloud Completion Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao

AAAI 2020 Hypergraph Label Propagation Network Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao

AAAI 2020 Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum K-Plex Problem Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen

IJCAI 2020 Query Answering for Existential Rules via Efficient Datalog Rewriting Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan

AAAI 2020 Query Answering with Guarded Existential Rules Under Stable Model Semantics Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang

AAAI 2020 Refining HTN Methods via Task Insertion with Preferences Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen

IJCAI 2020 Speeding up Very Fast Decision Tree with Low Computational Cost Jian Sun, Hongyu Jia, Bo Hu, Xiao Huang, Hao Zhang, Hai Wan, Xibin Zhao

AAAI 2020 Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis Hai Wan, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan

IJCAI 2019 Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification Wanshan Zheng, Zibin Zheng, Hai Wan, Chuan Chen

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

AAAI 2018 Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai

AAAI 2018 Hypergraph Learning with Cost Interval Optimization Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao

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

IJCAI 2017 A General Multi-Agent Epistemic Planner Based on Higher-Order Belief Change Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu

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

AAAI 2017 Practical TBox Abduction Based on Justification Patterns Jianfeng Du, Hai Wan, Huaguan Ma

IJCAI 2017 Vertex-Weighted Hypergraph Learning for Multi-View Object Classification Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun

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

AAAI 2016 Query Answering with Inconsistent Existential Rules Under Stable Model Semantics Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang

IJCAI 2015 A Complete Epistemic Planner Without the Epistemic Closed World Assumption Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu

AAAI 2015 On Elementary Loops and Proper Loops for Disjunctive Logic Programs Jianmin Ji, Hai Wan, Peng Xiao

IJCAI 2015 Simplifying a Logic Program Using Its Consequences Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

AAAI 2015 Splitting a Logic Program Revisited Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

AAAI 2014 Computing General First-Order Parallel and Prioritized Circumscription Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang

AAAI 2014 Elementary Loops Revisited Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao