Hierarchical Task Libraries in (Con)Golog

We are interested in building libraries of complex actions, or tasks}, in the Situation Calculus based languages Golog and its variants. We consider simple ways of organizing tasks in a hierarchical fashion by defining generalized tasks from specialized ones. We use a military operations planning domain to illustrate these ideas.