Automated planning and acting - Ghallab, Malik (Cambridge University Press, 2016)