Yang Xu

α-Resolution principle based on lattice-valued propositional logic LP(X)

Yang Xu, Da Ruan, Etienne E. Kerre et al. · Information Sciences · 2000 · 87 citations

Automated Reasoning, Propositional Logic, Many-valued Logic +2

L-valued propositional logic Lvpl

Yang Xu, Keyun Qin, Jun Liu et al. · Information Sciences · 1999 · 62 citations

Engineering, Automated Reasoning, Propositional Logic +4

Adaptive Configuration for Heterogeneous Participants in Decentralized Federated Learning

Yunming Liao, Yang Xu, Hongli Xu et al. · 2023 · 61 citations

Cluster Computing, Engineering, Machine Learning +13

TOUGHNESS, ISOLATED TOUGHNESS AND PATH FACTORS IN GRAPHS

Sizhong Zhou, Jiancheng Wu, Yang Xu · Bulletin of the Australian Mathematical Society · 2021 · 46 citations · Full text

Graph Minor, Geometric Graph Theory, Network Science +14

Ideals and fuzzy ideals on residuated lattices

Yi Liu, Ya Qin, Xiaoyan Qin et al. · International Journal of Machine Learning and Cybernetics · 2014 · 41 citations

Residuated Lattices, Fuzzy Logic, Lattice (Order) +2