1. A generalization of circumscription

   • Lin Zuoquan
   • Shi Chunyi

   Regular Papers Pages: 97 - 104

2. Functional knowledge representation based on problem reduction

   • Gao Ji

   Regular Papers Pages: 105 - 113

3. On the complexities of non-Horn Clause logic programming

   • Nie Xumin

   Regular Papers Pages: 114 - 122

4. The distributed logical reasoning language D_Tuili and its implementation on microcomputer network

   • Gao Quanquan
   • Lu Ruqian
   • Zhang Songmao

   Regular Papers Pages: 123 - 135

5. DKLFRS: A default knowledge logical framework representation system

   • Fan Zhongchun
   • Xing Hancheng

   Regular Papers Pages: 136 - 142

6. Improvements on certainty factor model and its application to conflict resolution in CDPS

   • Wang Hui
   • Liu Dayou

   Regular Papers Pages: 143 - 152

7. Specification language NUJSL based on JSP and its supporting system

   • Yongsen Xu
   • Biao He

   Regular Papers Pages: 153 - 163

8. Probabilistic models for estimation of random and pseudo-random test length

   • Dong Xiang
   • Daozheng Wei
   • Shisong Chen

   Regular Papers Pages: 164 - 174

9. A multiple-valued algebra for modeling MOS VLSI circuits at switch-level

   • Hu Mou

   Regular Papers Pages: 175 - 184

10. A theory for the initial allocating of real time tasks in distributed systems

    • Yan Yong
    • Jin Canming

    Short Papers Pages: 185 - 188

11. The decomposition of belief function

    • Zheng Fangqing

    Short Papers Pages: 189 - 192