Automated Planning: Theory & Practice (The Morgan Kaufmann Series in Artificial Intelligence)