| 2023 | ACL | Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change. | Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu |
| 2023 | IJCAI | Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract). | Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati |
| 2022 | AAAI | Knowledge Compilation Meets Logical Separability. | Junming Qiu, Wenqing Li, Zhanhao Xiao, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Qian Dong |
| 2022 | EMNLP | LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models. | Yeliang Xiu, Zhanhao Xiao, Yongmei Liu |
| 2021 | KSEM | Towards Solving the Winograd Schema Challenge: Model-Free, Model-Based and a Spectrum in Between. | Weinan He, Zhanhao Xiao |
| 2020 | AAAI | Refining HTN Methods via Task Insertion with Preferences. | Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen |
| 2020 | APSEC | Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. | Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang |
| 2017 | IJCAI | Refinement of Intentions. | Zhanhao Xiao |
| 2017 | IJCAI | Hierarchical Task Network Planning with Task Insertion and State Constraints. | Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su |
| 2016 | JELIA | On Hierarchical Task Networks. | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao |
| 2016 | JELIA | Refinement of Intentions. | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang |
| 2014 | AAAI | Elementary Loops Revisited. | Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao |
| 2014 | AAAI | Computing General First-Order Parallel and Prioritized Circumscription. | Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang |
| 2012 | PRICAI | τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming. | Hai Wan, Yu Ma, Zhanhao Xiao, Yuping Shen |