Renyan Feng

14 papers A* 1Misc 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Minimal reduct for propositional circumscription.
Frontiers Artif. Intell.
Zhongtao Xie, Yisong Wang, Lei Yang, Renyan Feng
2024 J jnl
Satisfiability Threshold of Random Propositional S5 Theories.
Axioms
Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou
2024 Misc conf
Strong Forgetting in Hennessy-Milner Logic.
TASE
Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu
2023 J jnl
An Algorithm for Single View Occlusion Area Detection in Binocular Stereo Matching.
Int. J. Pattern Recognit. Artif. Intell.
Ren Qian, Yong Zhao, Renyan Feng, Wenbang Yang, Zaijun Zhang
2023 J jnl
Depth Information Precise Completion-GAN: A Precisely Guided Method for Completing Ill Regions in Depth Maps.
Remote. Sens.
Ren Qian, Wenfeng Qiu, Wenbang Yang, Jianhua Li, Yun Wu, Renyan Feng, Xinan Wang, Yong Zhao
2023 J jnl
Fuzzy Multicontext Systems.
IEEE Trans. Fuzzy Syst.
Lei Yang, Yisong Wang, Hongbo Hu, Renyan Feng, Jun Liu
2023 J jnl
Knowledge forgetting in propositional μ-calculus.
Ann. Math. Artif. Intell.
Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen
2023 J jnl
MFF: An effective method of solving the ill regions in stereo matching.
IET Comput. Vis.
Ren Qian, Renyan Feng, Wangduo Xie, Wenbang Yang, Yong Zhao
2022 J jnl
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.
Inf. Sci.
Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding
2022 J jnl
QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion.
Knowl. Based Syst.
Panfeng Chen, Yisong Wang, Xiaomin Yu, Renyan Feng
2021 — conf
Exploiting Multi-granular Features for the Enhanced Predictive Modeling of COPD Based on Chinese EMRs.
ISBRA
Qing Zhao, Renyan Feng, Jianqiang Li, Yanhe Jia
2020 J jnl
Hamming Distance Encoding Multihop Relation Knowledge Graph Completion.
IEEE Access
Panfeng Chen, Yisong Wang, Quan Yu, Yi Fan, Renyan Feng
2020 J jnl
On Sufficient and Necessary Conditions in Bounded CTL.
CoRR
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
2020 A* conf
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.
KR
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu