Renyan Feng

According to our database, Renyan Feng authored at least 13 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Satisfiability Threshold of Random Propositional S5 Theories.

Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou

Axioms, April, 2024

Strong Forgetting in Hennessy-Milner Logic.

Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu

Proceedings of the Theoretical Aspects of Software Engineering, 2024

2023

MFF: An effective method of solving the ill regions in stereo matching.

Ren Qian, Renyan Feng, Wangduo Xie, Wenbang Yang, Yong Zhao

IET Comput. Vis., September, 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

Remote. Sens., July, 2023

Fuzzy Multicontext Systems.

Lei Yang, Yisong Wang, Hong-bo Hu, Renyan Feng, Jun Liu

IEEE Trans. Fuzzy Syst., March, 2023

An Algorithm for Single View Occlusion Area Detection in Binocular Stereo Matching.

Ren Qian, Yong Zhao, Renyan Feng, Wenbang Yang, Zaijun Zhang

Int. J. Pattern Recognit. Artif. Intell., February, 2023

Knowledge forgetting in propositional μ-calculus.

Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen

Ann. Math. Artif. Intell., 2023

2022

QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion.

Panfeng Chen, Yisong Wang, Xiaomin Yu, Renyan Feng

Knowl. Based Syst., 2022

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.

Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding

Inf. Sci., 2022

2021

Exploiting Multi-granular Features for the Enhanced Predictive Modeling of COPD Based on Chinese EMRs.

Qing Zhao, Renyan Feng, Jianqiang Li, Yanhe Jia

Proceedings of the Bioinformatics Research and Applications - 17th International Symposium, 2021

2020

On Sufficient and Necessary Conditions in Bounded CTL.

Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu

CoRR, 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: A Forgetting Approach.

Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020