Knowledge-oriented task and motion planning for multiple mobile robots | Publicación