Planning in distributed artificial intelligence