Parallel Lifted Planning via Semi-Naive Datalog Evaluation
arXiv:2605.07584v1 Announce Type: new
Abstract: Lifted classical planners operate directly on first-order planning tasks to avoid the computationally demanding grounding step. However, lifted planning is typically slower, as planners must repeatedly i…