Hairui Jia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2013–2021
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ISKE | Determination of 3-ary α-resolution in LP(X). | Hairui Jia, Yang Xu, Yi Liu |
| 2021 | ISKE | Meta-analysis of Xiaochaihu Decoction in the Treatment of Cancer Fever. | Lei Xu, Lijun Jiang, Hairui Jia, Ruixiao Kong |
| 2015 | ISKE | Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic. | Hairui Jia, Yi Liu, Yang Xu |
| 2013 | ICMLC | 1-minimal resolution principle based on lattice-valued propositional logic LP(X). | Hairui Jia, Yang Xu, Yi Liu, Huicong He |