Get started
Author

Renyan Feng

Observed names: Feng, Renyan, Ren-Yan Feng
OpenAlex ID: A5041458024
QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion
2021 · Panfeng Chen, Yisong Wang, et al. · Knowledge-Based Systems · 14
Hamming Distance Encoding Multihop Relation Knowledge Graph Completion
2020 · Panfeng Chen, Yisong Wang, et al. · IEEE Access · 9
PDF
Fuzzy Multicontext Systems
2022 · Lei Yang, Yi-Song Wang, et al. · IEEE Transactions on Fuzzy Systems · 6
PDF
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
2020 · Renyan Feng, Erman Acar, et al. · 6
PDF
Knowledge forgetting in propositional μ-calculus
2022 · Renyan Feng, Yisong Wang, et al. · Annals of Mathematics and Artificial Intelligence · 4
An Algorithm for Single View Occlusion Area Detection in Binocular Stereo Matching
2022 · Ren Qian, Yong Zhao, et al. · International Journal of Pattern Recognition and Artificial Intelligence · 3
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
2022 · Renyan Feng, Erman Acar, et al. · Information Sciences · 3
PDF
MFF: An effective method of solving the ill regions in stereo matching
2023 · Ren Qian, Renyan Feng, et al. · IET Computer Vision · 2
PDF
Strong Forgetting in Hennessy-Milner Logic
2024 · Xin Zhou, Yisong Wang, et al. · Lecture notes in computer science · 1
Exploiting Multi-granular Features for the Enhanced Predictive Modeling of COPD Based on Chinese EMRs
2021 · Qing Zhao, Renyan Feng, et al. · Lecture notes in computer science · 1
Strongest necessary and weakest sufficient conditions in S5
2018 · Renyan Feng, Yisong Wang, et al. · Data Science and Knowledge Engineering for Sensing Decision Support · 1
Loop Formulas for Alog Answer Set Programs
2017 · Cuixia Li, Yisong Wang, et al. · 1
Uniform Interpolation Closure for Branching Time Temporal Logics
2026 · Renyan Feng, Yisong Wang, et al. · International Joint Conference on Artificial Intelligence
PDF
Weakest sufficient conditions of HML under weak bisimulation in communicating systems
2026 · Xin Zhou, Yisong Wang, et al. · Annals of Mathematics and Artificial Intelligence
PDF
Minimal reduct for propositional circumscription
2025 · Zhongtao Xie, Yisong Wang, et al. · Frontiers in Artificial Intelligence
PDF
Satisfiability Threshold of Random Propositional S5 Theories
2024 · Zaihang Su, Yisong Wang, et al. · Axioms
PDF
Quantum and Translation Embedding for Knowledge Graph Completion
2021 · Panfeng Chen, Yisong Wang, et al.
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
2020 · Feng, Renyan, Acar, Erman, et al. · arXiv (Cornell University)
PDF
A New Descriptive Method for Gripper Planning
2017 · Renyan Feng, Qianqian Li, et al. · International Conference on Intelligent Human-Machine Systems and Cybernetics
Works count: 19
Citation count: 51
H-index: 4
I10-index: 1
Year
Topic
Type