Using a distributed knowledge base to coordinate autonomous mobile systems | IEEE Conference Publication | IEEE Xplore