Robot task planning based on resource reasoning | IEEE Conference Publication | IEEE Xplore