EDBT 2026 Demo / reviewers in the wild / expert
Shuwei Chen 0001
dblp:97/299-1
· DBLP profile ↗
7ranked-venue papers in the field
1as first author
3since 2021 · last 2023
0000-0002-6748-1924ORCID · conflict
Domains — venue-derived; a paper can count in several
Knowledge Engineering, Semantic Web & Information Systems · 7 (1 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Fully reusing clause deduction algorithm based on standard contradiction separation rule
Yang Xu 0001, Jun Liu 0001, Shuwei Chen 0001, Guanfeng Wu |
Inf. Sci. | 4 |
| 2021 | A multi-clause dynamic deduction algorithm based on standard contradiction separation rule
Yang Xu 0001, Jun Liu 0001, Shuwei Chen 0001, Jianbing Yi |
Inf. Sci. | 4 |
| 2021 | Emphasis on the flipping variable: Towards effective local search for hard random satisfiability
Huimin Fu 0002, Yang Xu 0001, Guanfeng Wu, Jun Liu 0001, Shuwei Chen 0001, Xingxing He |
Inf. Sci. | 5 |
| 2020 | Integrated data and knowledge driven methodology for human activity recognition
Hairui Jia, Shuwei Chen 0001 |
Inf. Sci. | 2 |
| 2018 | Contradiction separation based dynamic multi-clause synergized automated deduction
Yang Xu 0001, Jun Liu 0001, Shuwei Chen 0001, Xiaomei Zhong, Xingxing He |
Inf. Sci. | 3 |
| 2014 | A linguistic multi-criteria decision making approach based on logical reasoning
Shuwei Chen 0001, Jun Liu 0001, Hui Wang 0001, Yang Xu 0001, Juan Carlos Augusto |
Inf. Sci. | 1 |
| 2014 | An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
Jun Liu 0001, Wenjiang Li, Shuwei Chen 0001, Yang Xu 0001 |
Inf. Sci. | 3 |