Stable Cloud Provider Selection via Group Role Assignment with KB4 Logic Extended | IEEE Conference Publication | IEEE Xplore