publication venue for A proposal for a global task planning architecture using the RoboEarth cloud based framework 2012 Knowledge-based middleware as an architecture for planning and scheduling systems 2006