Proceedings

Hai Wan

Sun Yat-sen University , Guangzhou 510006 , China

14 papers in the IJCAI proceedings

IJCAI 2024

On the Logic of Theory Change Iteration of KM-Update, Revised
with Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai, Weiqi Luo
doi:10.24963/ijcai.2024/371
Details PDF

IJCAI 2023

Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract)
with Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Subbarao Kambhampati
doi:10.24963/ijcai.2023/782
Details PDF

IJCAI 2022

Teaching LTLf Satisfiability Checking to Neural Networks
with Weilin Luo, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang
doi:10.24963/ijcai.2022/457
Details PDF

IJCAI 2020

Query Answering for Existential Rules via Efficient Datalog Rewriting
with Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang
doi:10.24963/ijcai.2020/268
Details PDF
Speeding up Very Fast Decision Tree with Low Computational Cost
with Jian Sun, Hongyu Jia, Bo Hu, Xiao Huang, Hao Zhang, Xibin Zhao
doi:10.24963/ijcai.2020/177
Details PDF

IJCAI 2019

Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification
with Wanshan Zheng, Zibin Zheng, Chuan Chen
doi:10.24963/ijcai.2019/759
Details PDF

IJCAI 2018

Adversarial Attribute-Image Person Re-identification
with Zhou Yin, Wei-Shi Zheng, Ancong Wu, Hong-Xing Yu, Xiaowei Guo, Feiyue Huang, Jianhuang Lai
doi:10.24963/ijcai.2018/153
Details PDF
Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding
with Yonghao Luo, Bo Peng, Wei-Shi Zheng
doi:10.24963/ijcai.2018/132
Details PDF

IJCAI 2017

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
with Xiao Huang, Biqing Fang, Yongmei Liu
doi:10.24963/ijcai.2017/152
Details PDF
Hierarchical Task Network Planning with Task Insertion and State Constraints
with Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Xiaoheng Su
doi:10.24963/ijcai.2017/623
Details PDF
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification
with Lifan Su, Yue Gao, Xibin Zhao, Ming Gu, Jiaguang Sun
doi:10.24963/ijcai.2017/387
Details PDF

IJCAI 2016

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding
with Jian-Min Ji, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu
Details PDF

IJCAI 2015

A Complete Epistemic Planner without the Epistemic Closed World Assumption
with Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu
Details PDF
Simplifying A Logic Program Using Its Consequences
with Jian-Min Ji, Ziwei Huo, Zhenfeng Yuan
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards