Xiaomei Zhong

α-lock semantic resolution method based on lattice-valued first-order logic LF(X)

Yang Xu, Xingxing He, Shuwei Chen, 2016, 2016 International Conference on Fuzzy Theory and Its Applications (iFuzzy).

An axiom selection method based on symbol weight

Yang Xu, Shuwei Chen, Xiaomei Zhong, 2016, 2016 International Conference on Fuzzy Theory and Its Applications (iFuzzy).

Targeting PERK mediated endoplasmic reticulum stress attenuates neuroinflammation and alleviates lipopolysaccharide-induced depressive-like behavior in male mice.

Dongming Guo, Yang Xu, W. Cao, 2022, International immunopharmacology.

Multiary α-Resolution Principle for a Lattice-Valued Logic

Jun Liu, Shuwei Chen, Yang Xu, 2013, IEEE Transactions on Fuzzy Systems.

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic

Jun Liu, Shuwei Chen, Yang Xu, 2018, Int. J. Comput. Intell. Syst..

Contradiction separation based dynamic multi-clause synergized automated deduction

Jun Liu, Shuwei Chen, Yang Xu, 2018, Inf. Sci..

Lattice-valued matrix game with mixed strategies for intelligent decision support

Jun Liu, Shuwei Chen, Yang Xu, 2012, Knowl. Based Syst..

RESEARCH ADVANCES ON RESOLUTION AUTOMATED REASONING IN LATTICE-VALUED LOGIC BASED ON LATTICE IMPLICATION ALGEBRA

Xiaomei Zhong, Xingxing He, Jun Liu, 2012 .

THE STRUCTURE OF 3-INDECOMPOSABLE EXTREMELY SIMPLE FORM OF L6P(X)

Yang Xu, Xingxing He, Weitao Xu, 2009 .