On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. - Renyan Feng; Erman Acar; Stefan Schlobach; Yisong Wang; Wanwei Liu (KR, 2020)

Hamming Distance Encoding Multihop Relation Knowledge Graph Completion. - Panfeng Chen; Yisong Wang; Quan Yu; Yi Fan; Renyan Feng (IEEE Access, 2020)

On Sufficient and Necessary Conditions in Bounded CTL. - Renyan Feng; Erman Acar; Stefan Schlobach; Yisong Wang; Wanwei Liu (CoRR, 2020)

Exploiting Multi-granular Features for the Enhanced Predictive Modeling of COPD Based on Chinese EMRs. - Qing Zhao 005; Renyan Feng; Jianqiang Li 002; Yanhe Jia (ISBRA, 2021)

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach. - Renyan Feng; Erman Acar; Yisong Wang; Wanwei Liu; Stefan Schlobach; Weiping Ding 001 (Inf. Sci., 2022)

QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion. - Panfeng Chen; Yisong Wang; Xiaomin Yu; Renyan Feng (Knowl. Based Syst., 2022)

Knowledge forgetting in propositional μ-calculus. - Renyan Feng; Yisong Wang; Ren Qian; Lei Yang; Panfeng Chen (Ann. Math. Artif. Intell., 2023)

An Algorithm for Single View Occlusion Area Detection in Binocular Stereo Matching. - Ren Qian; Yong Zhao 010; Renyan Feng; Wenbang Yang; Zaijun Zhang (Int. J. Pattern Recognit. Artif. Intell., 2023)

Fuzzy Multicontext Systems. - Lei Yang; Yisong Wang; Hong-bo Hu; Renyan Feng; Jun Liu 001 (IEEE Trans. Fuzzy Syst., 2023)

Depth Information Precise Completion-GAN: A Precisely Guided Method for Completing Ill Regions in Depth Maps. - Ren Qian; Wenfeng Qiu; Wenbang Yang; Jianhua Li; Yun Wu; Renyan Feng; Xinan Wang; Yong Zhao 010 (Remote. Sens., 2023)

MFF: An effective method of solving the ill regions in stereo matching. - Ren Qian; Renyan Feng; Wangduo Xie; Wenbang Yang; Yong Zhao 010 (IET Comput. Vis., 2023)

Strong Forgetting in Hennessy-Milner Logic. - Xin Zhou; Yisong Wang; Renyan Feng; Songhang Xu (TASE, 2024)

Satisfiability Threshold of Random Propositional S5 Theories. - Zaihang Su; Yisong Wang; Renyan Feng; Chan Zhou (Axioms, 2024)