SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.
Citation: | Shen Ningchuan, Li Wei. R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1997, 12(1): 17-28. |
[1] |
Alchourron.C, Gardenfors.P, Makinson.D. On the logic of theory change: Partial meet contraction and revision. The Journal of Symbolic Logic, 1985, 50: 510-530.
|
[2] |
Li Wei. An open logic system. Science in China (Series A), 1993, 36: 362-375.
|
[3] |
Li Wei. A logic framework for knowledge base maintenance. Journal of Computer Science and Technology, 1995, 10(3): 193-205. ………….
|
[1] | Li wei. A Logical Framework for Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1995, 10(3): 193-205. |
[2] | Jin Zhi. The Structure and Semantics of an Object-Oriented Logic Programming Language: SCKE[J]. Journal of Computer Science and Technology, 1995, 10(1): 74-84. |
[3] | Wang Xianchang, Chen Huowang, Zhao Qinping. On the Relationship Between TMS and Logic Programs[J]. Journal of Computer Science and Technology, 1994, 9(3): 245-251. |
[4] | Xu Manwu. An Implementation of Pure Horn Clause Logic Programming in a Reduction System[J]. Journal of Computer Science and Technology, 1993, 8(3): 53-61. |
[5] | Shen Yidong, Tong Fu, Cheng Daijie. On Local StratifiabUity of Logic Programs and Databases[J]. Journal of Computer Science and Technology, 1993, 8(2): 3-11. |
[6] | Deng Tieqing, Wu Quanyuan, Wang Zhiying. A New Integrated System of Logic Programming and Relational Database[J]. Journal of Computer Science and Technology, 1993, 8(1): 58-67. |
[7] | Shao Zhiqing. Extending Hoare Logic with an Infinite While-Rule[J]. Journal of Computer Science and Technology, 1992, 7(4): 363-368. |
[8] | Nie Xumin. On the Complexities of Non-Horn Clause Logic Programming[J]. Journal of Computer Science and Technology, 1992, 7(2): 114-122. |
[9] | Huang Zhiyi, Hu Shouren. Detection of And-Parallelism in Logic Programs[J]. Journal of Computer Science and Technology, 1990, 5(4): 379-387. |
[10] | Wu Yunzeng. On the Development of Applications of Logic in Programming[J]. Journal of Computer Science and Technology, 1987, 2(1): 30-34. |