Ausgabe 4/1999
Inhalt (18 Artikel)
Regular Papers
Approximation for knapsack problems with multiple constraints
Zhang Li’ang, Zhang Yin
Correspondence
The sequence modeling method based on ECC in developing program specifications
Cai Jiamei
Correspondence
An approach to active learning for classifier systems
Xi Haifeng, Luo Yupin, Yang Shiyuan
Correspondence
Fault tolerance of reconfigurable bi-directional double-loop LANs
Wei Hua, Luo Yupin, Yang Shiyuan
Correspondence
Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system
Zhang Chengqi, Luo Xudong
Correspondence
Automated analysis of the SCR-style requirements specifications
Wu Guoqing, Liu Xiang, Ying Shi, Tetsuo Tamai
Notes
Reasoning about concurrent actions in multi-agent systems
Fan Xiaocong, Xu Dianxiang, Hou Jianmin, Zheng Guoliang