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