Programming hierarchical task networks in the situation calculus

Authors

Alfredo Gabaldon, Gerhard Lakemayer,