Xiaojing Hui

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 5

Top Topics

Satisfiability Testing

Approximate Reasoning

Propositional Logic

Top Venues

计算机科学

Publications

Xiaoli Gao, Xiaojing Hui, Naidiao Zhu
n值ukasiewicz逻辑系统中公式的向量表示及其研究 (Research on Vector Representation of Formula in n-valued ukasiewicz Propositional Logic System). 计算机科学 43 (Z11) (2016)
Naidiao Zhu, Xiaojing Hui, Xiaoli Gao
Gdel n值命题逻辑系统中命题公式的t真度及近似推理 (t Truth Degree of Formulas and Approximate Reasoning in Gdel n-valued Propositional Logic System). 计算机科学 43 (Z11) (2016)
Jinrui He, Xiaojing Hui, Jingning Shuang
四值Gdel命题逻辑系统中公式的概率真度理论 (Theory of Probability Truth Degree in Gdel 4-valued Propositional Logic System). 计算机科学 42 (Z11) (2015)
Jingning Shuang, Xiaojing Hui, Jinrui He
基于蕴涵算子族L-λ-Π的模糊推理三I支持算法 (Fuzzy Reasoning Triple I Sustaining Method Based on Family of Implication Operator L-λ-Π). 计算机科学 42 (Z6) (2015)
Xiaojing Hui, Manao Zhao, Jiao Gao
对称逻辑公式在L*4逻辑度量空间中的分布 (Distribution of Symmetrical Logic Formulas in L*4-logic Metric Space). 计算机科学 42 (11) (2015)
Xiaojing Hui
Falsity Accumulation Theory in Multi-Valued Gödel Logic System. QLSC (2012)