Login / Signup
Hairui Jia
ORCID
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 10
Top Topics
Valued Logic
Davis Putnam
Linear Programming
Activity Recognition
Top Venues
Int. J. Comput. Intell. Syst.
ISKE
J. Intell. Fuzzy Syst.
Inf. Sci.
</>
Publications
</>
Hairui Jia
,
Yang Xu
,
Yi Liu
Determination of 3-ary α-resolution in LP(X).
ISKE
(2021)
Lei Xu
,
Lijun Jiang
,
Hairui Jia
,
Ruixiao Kong
Meta-analysis of Xiaochaihu Decoction in the Treatment of Cancer Fever.
ISKE
(2021)
Honglei Wei
,
Hairui Jia
,
Yingfang Li
,
Yang Xu
Verify and measure the quality of rule based machine leaning.
Knowl. Based Syst.
205 (2020)
Hairui Jia
,
Shuwei Chen
Integrated data and knowledge driven methodology for human activity recognition.
Inf. Sci.
536 (2020)
Tao Zhao
,
Qing Wu
,
Shengchuan Li
,
Rui Guo
,
Songyi Dian
,
Hairui Jia
Optimization design of general Type-2 fuzzy logic controllers for an uncertain Power-line inspection robot.
J. Intell. Fuzzy Syst.
37 (2) (2019)
Hairui Jia
,
Yi Liu
,
Yang Xu
Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system.
J. Intell. Fuzzy Syst.
34 (3) (2018)
Huimin Fu
,
Yang Xu
,
Guanfeng Wu
,
Hairui Jia
,
Wuyang Zhang
,
Rong Hu
An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy.
Int. J. Comput. Intell. Syst.
11 (1) (2018)
Hairui Jia
,
Yi Liu
,
Yang Xu
Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic.
ISKE
(2015)
Hairui Jia
,
Yang Xu
,
Yi Liu
,
Jun Liu
α-Minimal Resolution Principle For A Lattice-Valued Logic.
Int. J. Comput. Intell. Syst.
8 (1) (2015)
Yi Liu
,
Yang Xu
,
Hairui Jia
基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 (Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)).
计算机科学
42 (4) (2015)
Hairui Jia
,
Yang Xu
,
Yi Liu
,
Huicong He
1-minimal resolution principle based on lattice-valued propositional logic LP(X).
ICMLC
(2013)
Yi Liu
,
Hairui Jia
,
Yang Xu
-Resolution in Lattice-valued Propositional Logic LP(X).
Int. J. Comput. Intell. Syst.
6 (5) (2013)