... remaining potential teams.5.4.3 Plan GenerationAssuming planning from first principles, plan generation consists of three stages: taskdivision, means-end analysis and action allocation.During ... shouldbe investigated and formalized, again, in a combination of different kinds of modal logics.As the static part of TeamLog, individual, social and collective attitudes have beendefined in Chapters ... case, a team achieves the goal in the way it was planned in the very begin-ning. When disturbances appear, however, some kind of reconfiguration is necessary. Asindicated above, the main purpose...