Automated Planning theory and practice