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