E-LIB Suche - Ergebnisse für: Feng, Renyan

1

Satisfiability Threshold of Random Propositional S5 Theorie:

Su, Zaihang ; Wang, Yisong ; Feng, Renyan.
Axioms. 13 (2024) 4 - p. 241 , 2024

Link: https://doi.org/10.3390/..

2

Fuzzy Multicontext Systems:

Yang, Lei ; Wang, Yi-Song ; Hu, Hong-Bo..
IEEE Transactions on Fuzzy Systems. 31 (2023) 3 - p. 745-759 , 2023

Link: https://doi.org/10.1109/..

3

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

Qian, Ren ; Feng, Renyan ; Xie, Wangduo..
IET Computer Vision. 17 (2023) 6 - p. 615-625 , 2023

Link: https://doi.org/10.1049/..

4

QLogicE: Quantum Logic Empowered Embedding for Knowledge Gr..:

Chen, Panfeng ; Wang, Yisong ; Yu, Xiaomin.
Knowledge-Based Systems. 239 (2022) - p. 107963 , 2022

Link: https://doi.org/10.1016/..

5

Computing Sufficient and Necessary Conditions in CTL: A For..:

Feng, Renyan ; Acar, Erman ; Wang, Yisong...
Information Sciences. 616 (2022) - p. 474-504 , 2022

Link: https://doi.org/10.1016/..

6

Knowledge forgetting in propositional μ-calculus:

Feng, Renyan ; Wang, Yisong ; Qian, Ren..
Annals of Mathematics and Artificial Intelligence. 91 (2022) 1 - p. 1-43 , 2022

Link: https://doi.org/10.1007/..

7

Exploiting Multi-granular Features for the Enhanced Predict..:

, In: Bioinformatics Research and Applications; Lecture Notes in Computer Science,

Zhao, Qing ; Feng, Renyan ; Li, Jianqiang. - p. 35-45 , 2021

Link: https://doi.org/10.1007/..

8

Hamming Distance Encoding Multihop Relation Knowledge Graph..:

Chen, Panfeng ; Wang, Yisong ; Yu, Quan..
IEEE Access. 8 (2020) - p. 117146-117158 , 2020

Link: https://doi.org/10.1109/..

9

Loop Formulas for Alog Answer Set Programs:

, In: Proceedings of the 2017 International Conference on Computer Science and Artificial Intelligence,

Li, Cuixia ; Wang, Yisong ; Feng, Renyan. - p. 38-42 , 2017

Link: https://dl.acm.org/doi/1..

10

On Sufficient and Necessary Conditions in Bounded CTL:

Feng, Renyan ; Acar, Erman ; Schlobach, Stefan..
Feng , R , Acar , E , Schlobach , S , Wang , Y & Liu , W 2020 , On Sufficient and Necessary Conditions in Bounded CTL . in D Calvanese , E Erdem & M Thielscher (eds) , Proceedings of the 17th Conference on Principles of Knowledge Representation and Reasoning . Proceedings , IJCAI Organization , pp. 361-370 . https://doi.org/10.24963/kr.2020/37. , 2020

Link: https://research.vu.nl/e..

11

On Sufficient and Necessary Conditions in Bounded CTL: A Fo..:

Feng, Renyan ; Acar, Erman ; Schlobach, Stefan..
http://arxiv.org/abs/2003.06492. , 2020

Link: http://arxiv.org/abs/200..

12

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

Ren Qian ; Renyan Feng ; Wangduo Xie..
https://doi.org/10.1049/cvi2.12190. , 2023

Link: https://doi.org/10.1049/..

13

Hamming Distance Encoding Multihop Relation Knowledge Graph..:

Panfeng Chen ; Yisong Wang ; Quan Yu..
https://ieeexplore.ieee.org/document/9123330/. , 2020

Link: https://doi.org/10.1109/..

14

Long-term tralopyril exposure results in endocrinological a..:

Liu, Bin ; Li, Ping ; Du, Ren-Yan...
Science of The Total Environment. 912 (2024) - p. 169344 , 2024

Link: https://doi.org/10.1016/..

15

Highly efficient LaMO3 (M = Co, Fe) perovskites catalyzed F..:

Wu, Tengyan ; Li, Xiang ; Weng, Chih-Huang...
Environmental Research. 227 (2023) - p. 115756 , 2023

Link: https://doi.org/10.1016/..