Two Constraint Compilation Methods for Lifted Planning

This research introduces two novel constraint compilation algorithms for lifted planning that eliminate grounding while maintaining semantic equivalence. It ...

Level: expert

By Periklis Mantenoglou, Luigi Bonassi, Enrico Scala, Pedro Zuidberg Dos Martires

Category: research