Paper Publications
-
2018-04-02
基于超扩展规则的知识编译方法.计算机学报.2016,39(8):1681-1696
-
2018-04-02
Redundancy checking algorithms based on parallel novel extension rule.Journal of Experimental & Theoretical Artificial Intelligence.2017,29(3):629-647
-
2018-04-02
peC语言的部分求值器及在编译器测试中的应用.软件学报.2017,28(5):1221-1232
-
2018-04-02
EPCCL理论的求交知识编译算法.软件学报.2017,28(8):2096-2112
-
2018-04-02
EPCCL理论的并行知识编译算法.电子学报.2018,46(3):537-543
-
2018-04-02
一种新的基于局部搜索的扩展规则推理方法.计算机学报.2018,41(4):825-839
|
Address: No. 2699 Qianjin Street, Jilin, Changchun
Information management and technical maintenance: big data and network management center of Jilin University
Copyright 2017 Jilin University ICP -1 06002985