Functional knowledge representation based on problem reduction Gao Ji Regular Papers Pages: 105 - 113
The distributed logical reasoning language D_Tuili and its implementation on microcomputer network Gao QuanquanLu RuqianZhang Songmao Regular Papers Pages: 123 - 135
DKLFRS: A default knowledge logical framework representation system Fan ZhongchunXing Hancheng Regular Papers Pages: 136 - 142
Improvements on certainty factor model and its application to conflict resolution in CDPS Wang HuiLiu Dayou Regular Papers Pages: 143 - 152
Specification language NUJSL based on JSP and its supporting system Yongsen XuBiao He Regular Papers Pages: 153 - 163
Probabilistic models for estimation of random and pseudo-random test length Dong XiangDaozheng WeiShisong 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 YongJin Canming Short Papers Pages: 185 - 188