edited by K-S Xu (Academia Sinica, Beijing, China)

• The Axiom System ACG and the Proof of Consistency of the Systems QM and ZF# (J W Zhang)
• Log C: A Language and Environment for AI Programming (Y L Feng)
• From “What” to “How” (J F Xu et al.)
• Weak Mutation Method of Software Testing and Relational Test Data (R J Zheng & F Jiang)
• Can Logic Programming Be Liberated from FOL? Foundations of a High Order Rule Language (Q M Chen)
• The Experiment on 2-D EAG Method for the Recognitions of Hand-Printed Chinese Characters (M Zhao)
• A Set of Parallel Algorithms for Calculating FFT Based on Multiple Vector Systems (D F Zhang & L Sheng)
• Knowledge Representation by Petri Nets (C Lin & W M Lu)
• Limited Error-Propagation, Self-Synchronization and Finite Input Memory FSMs as Weak Inverses (F Bao)
• The Knowledge Processing of CONBES (R Q Lu & C G Cao)
• CS: The Communication Sub-System of C-Porel (J L Xu & L X Zhou)
• Study on the Efficiency Improvement of Knowledge Base Management Systems (L Z Zhou & Z P Fan)