Volume 7, Issue 2 | Journal of Computer Science and Technology

Search all Journal of Computer Science and Technology articles

Volume 7, Issue 2

April 1992

Filter by

Volume:

Sort by

Date published:

New to old Old to new

11 articles in this issue

A generalization of circumscription
Lin Zuoquan
Shi Chunyi
Regular Papers Pages: 97 - 104
Functional knowledge representation based on problem reduction
Gao Ji
Regular Papers Pages: 105 - 113
On the complexities of non-Horn Clause logic programming
Nie Xumin
Regular Papers Pages: 114 - 122
The distributed logical reasoning language D_Tuili and its implementation on microcomputer network
Gao Quanquan
Lu Ruqian
Zhang Songmao
Regular Papers Pages: 123 - 135
DKLFRS: A default knowledge logical framework representation system
Fan Zhongchun
Xing Hancheng
Regular Papers Pages: 136 - 142
Improvements on certainty factor model and its application to conflict resolution in CDPS
Wang Hui
Liu Dayou
Regular Papers Pages: 143 - 152
Specification language NUJSL based on JSP and its supporting system
Yongsen Xu
Biao He
Regular Papers Pages: 153 - 163
Probabilistic models for estimation of random and pseudo-random test length
Dong Xiang
Daozheng Wei
Shisong Chen
Regular Papers Pages: 164 - 174
A multiple-valued algebra for modeling MOS VLSI circuits at switch-level
Hu Mou
Regular Papers Pages: 175 - 184
A theory for the initial allocating of real time tasks in distributed systems
Yan Yong
Jin Canming
Short Papers Pages: 185 - 188
The decomposition of belief function
Zheng Fangqing
Short Papers Pages: 189 - 192