Stable Cloud Provider Selection via Group Role Assignment with KB4 Logic Extended. - Yuelin Cai; Haibin Zhu 001; Dongning Liu (SMC, 2023)