L-Valued Propositional Logic Lvpl. - Yang Xu 001; Keyun Qin; Jun Liu 001; Zhenming Song (Inf. Sci., 1999)

A resolution procedure based on a fuzzy logic. - Jun Liu 001; Zhenming Song; Keyun Qin (FUZZ-IEEE, 2000)

A study on fuzzy reasoning mechanism based on extension principle. - Yang Xu 001; Etienne E. Kerre; Da Ruan 001; Zhenming Song (FUZZ-IEEE, 2000)

Fuzzy reasoning based on the extension principle. - Yang Xu 001; Etienne E. Kerre; Da Ruan 001; Zhenming Song (Int. J. Intell. Syst., 2001)

A resolution-like strategy based on a lattice-valued logic. - Jun Liu 001; Da Ruan 001; Yang Xu 001; Zhenming Song (IEEE Trans. Fuzzy Syst., 2003)

Soft Rough Sets Based on Similarity Measures. - Keyun Qin; Zhenming Song; Yang Xu 001 (RSKT, 2012)

A branching heuristic based on variable decision levels. - Zhonghe Du; Zhenming Song (ISKE, 2017)