ARPA/Rome laboratory knowledge-based planning and scheduling initiative workshop proceedings