| 289 | -- | 297 | Liang Zhang, Yin Zhang. Approximation for knapsack problems with multiple constraints |
| 298 | -- | 308 | Yangjun Chen. On the arc consistency problem |
| 309 | -- | 313 | Xiong Huang, Wei Li. k -positive satisfiability problem |
| 314 | -- | 319 | Shangmin Luan, Wei Li. An incremental approach to automatic algorithm design |
| 320 | -- | 327 | Yuxi Fu. Relative properties of frame language |
| 328 | -- | 336 | Mingsheng Ying. Topology in process calculus (I): Limit behaviour of agents |
| 337 | -- | 348 | Jiamei Cai. The sequence modeling method based on ECC in developing program specifications |
| 349 | -- | 362 | Rajesh Narang, K. D. Sharma. View creation for queries in object oriented databases |
| 363 | -- | 371 | Yidong Shen. A theory of hybrid diagnosis |
| 372 | -- | 378 | Haifeng Xi, Yupin Luo, Shiyuan Yang. An approach to active learning for classifier systems |
| 379 | -- | 385 | Hua Wei, Yupin Luo, Shiyuan Yang. Fault tolerance of reconfigurable bi-directional double-loop LANs |
| 386 | -- | 392 | Chengqi Zhang, Xudong Luo. Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system |
| 393 | -- | 400 | Zhongzhi Shi, Qijia Tian, Yunfeng Li. RAO logic for multiagent framework |
| 401 | -- | 407 | Guoqing Wu, Xiang Liu, Shi Ying, Tamai Tetsuo. Automated analysis of the SCR-style requirements specifications |
| 408 | -- | 413 | Bin Ni, Yulin Feng. Dynamic checking framework for Java Beans semantic constraints |
| 414 | -- | 421 | Haiming Chen. Function Definition Language FDL and its implementation |
| 422 | -- | 428 | Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng. Reasoning about concurrent actions in multi-agent systems |
| 429 | -- | 433 | Yuesheng Qi, Baozhong Wang, Lishan Kang. Genetic Programming with simple loops |