Zhanhao Xiao

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 23

Top Topics

Poisson Equation

Hierarchical Task Networks

Knowledge Compilation

Hyperspectral Image Classification

Top Venues

Publications

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. 213 (2024)
Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai, Qian Dong
On the role of logical separability in knowledge compilation. Artif. Intell. 328 (2024)
Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu
Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change. ACL (1) (2023)
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract). IJCAI (2023)
Xiaoyong Liu, Ziyang Dong, Huihui Li, Jinchang Ren, Huimin Zhao, Hao Li, Weiqi Chen, Zhanhao Xiao
H-RNet: Hybrid Relation Network for Few-Shot Learning-Based Hyperspectral Image Classification. Remote. Sens. 15 (10) (2023)
Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu
TRAC: A Textual Benchmark for Reasoning about Actions and Change. CoRR (2022)
Yeliang Xiu, Zhanhao Xiao, Yongmei Liu
LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models. EMNLP (Findings) (2022)
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
Gradient-based mixed planning with symbolic and numeric action parameters. Artif. Intell. 313 (2022)
Kebing Jin, Zhanhao Xiao, Hankz Hankui Zhuo, Hai Wan, Jiaran Cai
Learning Visual Planning Models from Partially Observed Images. CoRR (2022)
Junming Qiu, Wenqing Li, Zhanhao Xiao, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Qian Dong
Knowledge Compilation Meets Logical Separability. AAAI (2022)
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
Gradient-Based Mixed Planning with Discrete and Continuous Actions. CoRR (2021)
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. CoRR (2021)
Weinan He, Zhanhao Xiao
Towards Solving the Winograd Schema Challenge: Model-Free, Model-Based and a Spectrum in Between. KSEM (2021)
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. APSEC (2020)
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
Refining HTN Methods via Task Insertion with Preferences. AAAI (2020)
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Jinxia Lin, Yanan Liu
Representation Learning for Classical Planning from Partially Observed Traces. CoRR (2019)
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
Refining HTN Methods via Task Insertion with Preferences. CoRR (2019)
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang
Deciding Refinement Relation in Belief-Intention Databases. AI*IA (2017)
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su
Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI (2017)
Zhanhao Xiao
Refinement of Intentions. IJCAI (2017)
Andreas Herzig, Emiliano Lorini, Laurent Perrussel, Zhanhao Xiao
BDI Logics for BDI Architectures: Old Problems, New Perspectives. Künstliche Intell. 31 (1) (2017)
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao
On Hierarchical Task Networks. JELIA (2016)
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
Refinement of Intentions. JELIA (2016)
Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang
Computing General First-Order Parallel and Prioritized Circumscription. AAAI (2014)
Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao
Elementary Loops Revisited. AAAI (2014)
Hai Wan, Yu Ma, Zhanhao Xiao, Yuping Shen
τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming. PRICAI (2012)