Using temporal logics to express search control knowledge for planning