Hai Wan

11 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

Future Conferences

AI Journal Division

IJCAI Proceedings