2 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…