Hemeng Zeng — accepted AI-conference papers

2025

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types

Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu

AAAI 2025technical

Generalized planning is concerned with how to find a single plan to solve multiple similar planning instances. Abstractions are widely used for solving generalized planning, and QNP (qualitative numeric planning) is a popular abstract model. Recently, Cui et al. showed that a plan solves a sound and…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗

2022

A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search

Hemeng Zeng, Yikun Liang, Yongmei Liu

IJCAI 2022poster

Qualitative numeric planning (QNP) is classical planning extended with non-negative real variables that can be increased or decreased by some arbitrary amount. Existing approaches for solving QNP problems are exclusively based on compilation to fully observable nondeterministic planning (FOND) probl…

Cited by 2 Source ↗PDF ↗code ↗Scholar ↗