Semantic knowledge driven utility calculation towards efficient multi-robot task allocation | IEEE Conference Publication | IEEE Xplore