1. A comparative study of default reasoning and epistemic processes

   • Wei Li

   Regular Papers Pages: 193 - 204

2. Bounded recursively enumerable sets and degrees

   • Yuefei Sui

   Regular Papers Pages: 205 - 208

3. Optimizing FORTRAN programs for hierarchical memory parallel processing systems

   • Guohua Jin
   • Fujie Chen

   Regular Papers Pages: 209 - 220

4. A methodology for mapping and partitioning arbitraryn-dimensional nested loops into 2-dimensional VLSI arrays

   • Hong Liu
   • Wenhong Wang
   • Defu Zhang

   Regular Papers Pages: 221 - 232

5. Optimized parallel execution of declarative programs on distributed memory multiprocessors

   • Meiming Shen
   • Xinmin Tian
   • Dongchan Wen

   Regular Papers Pages: 233 - 242

6. An implementation of pure Horn clause logic programming in a reduction system

   • Manwu Xu

   Regular Papers Pages: 243 - 251

7. On memory capacity of the Probabilistic Logic Neuron network

   • Bo Zhang
   • Ling Zhang

   Regular Papers Pages: 252 - 256

8. Cooperative hypermedia editing with CoMEdiA

   • Adelino Santos

   Regular Papers Pages: 257 - 269

9. Modelling enterprises with object-oriented paradigm

   • Junzhong Gu

   Regular Papers Pages: 270 - 279

10. A new local control spline with shape parameters for CAD/CAM

    • Kaihuai Qin
    • Jiaguang Sun

    Regular Papers Pages: 280 - 288