Pascal Bercher

Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages

2016 · Proceedings of the International Conference on Automated Planning and Scheduling

From a theoretical perspective, judging the expressivity of planning formalisms helps to understand the relationship of different representations and to infer theoretical properties. From a practical point of view, it is important to be able …

Landmark Generation in HTN Planning

2021 · Proceedings of the AAAI Conference on Artificial Intelligence

Landmarks (LMs) are state features that need to be made true or tasks that need to be contained in every solution of a planning problem. They are a valuable source of information in planning and …

Automated Repair of Totally-Ordered Hierarchical Task Network Domains via Context-Free Grammars with Large Language Model Support

2026 · Proceedings of the AAAI Conference on Artificial Intelligence

Repairing flawed domain models remains a critical challenge in AI planning, with few effective techniques available. We propose a novel approach for repairing totally ordered hierarchical task network (TO-HTN) models with missing actions, guided by …