Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
A complementary study on PlanGPT: Evaluation with defined Performance Metrics and comparison with a planner
Youssef Abdelkader, Humbert Fiorino, Damien Pellier
Automated Planning is a subfield of Artificial Intelligence (AI) where the main objective is generating a sequence of actions, known as a plan, that helps us reach a goal state fro…
cs.AI2024
SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning
Gaspard Quenard, Damier Pellier, Humbert Fiorino
This paper presents SibylSat, a novel SAT-based method designed to efficiently solve totally-ordered HTN problems (TOHTN). In contrast to prevailing SAT-based HTN planners that emp…