1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2026
Abstraction Generation for Generalized Planning with Pretrained Large Language Models
Zhenhe Cui, Huaxiang Xia, Hangjun Shen +3
Qualitative Numerical Planning (QNP) serves as an important abstraction model for generalized planning (GP), which aims to compute general plans that solve multiple instances at on…
cs.LO2025
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
Liangda Fang, Xiaoman Wang, Zhang Chen +3
Abstraction is an important and useful concept in the field of artificial intelligence. To the best of our knowledge, there is no syntactic method to compute a sound and complete a…
cs.AI2022★ 1 cited
Automatic Verification of Sound Abstractions for Generalized Planning
Zhenhe Cui, Weidu Kuang, Yongmei Liu
Generalized planning studies the computation of general solutions for a set of planning problems. Computing general solutions with correctness guarantee has long been a key issue i…