Cognitive factories with multiple teams of heterogeneous robots: Hybrid reasoning for optimal feasible global plans | IEEE Conference Publication | IEEE Xplore