Contents

THE DESIGN AND IMPLEMENTATION ON THE NEW EXPERT SYSTEM DEVELOPMENT ENVIRONMENT Che Shifu,Pan Jingui,Yuan feng and Tong Li 1993,4(3):1-7 [Abstract(4102)]  [View PDF(5082)451.49 K]

FORMALIZING FUZZY QUANTIFIERS AND REASONING Shi Shengli and Liu Xuhua 1993,4(3):8-14 [Abstract(4050)]  [View PDF(4969)415.86 K]

MAN-MACHINE INTERFACE SOFTWARE CPANEL PLUS Wang Yushu and Pang Dafan 1993,4(3):15-19 [Abstract(3630)]  [View PDF(4854)379.40 K]

ALGORITHMS FOR REGION EDGE RECOGNITION AND REGION MARK AND THEIR APPLICATION Chen Shifu,Pan Jingui,Hu Bin and Luo Qiuqing 1993,4(3):20-25 [Abstract(4201)]  [View PDF(4995)394.27 K]

THE RESEARCH ON THE BASIC THEORY AND METHOD OF KNOWLEDGE REFINEMENT Yang Li and Hu Shouren 1993,4(3):26-30 [Abstract(3808)]  [View PDF(4370)385.50 K]

MULTI-KB COOPERATION IN EXPLANATION-BASED LEARNING Shi Chunyi and Gong Yitao 1993,4(3):31-34 [Abstract(3695)]  [View PDF(4727)292.62 K]

ON THE COMPUTING POWER OF ORDERED PETRI NETS Wang Yongge 1993,4(3):35-41 [Abstract(3422)]  [View PDF(4718)421.82 K]

CATEGORICAL EQUIVALENCE ON HORN LOGIC AND GENERALIZATION OF THE METHOD Wang Huaimin 1993,4(3):42-44 [Abstract(3990)]  [View PDF(4734)198.83 K]

A REASONING MODEL FOR INTEGRATION TWO LEVELS OF UNCERTAINTY Liu Dayou,Zhong Shaochun and GaoYaqing 1993,4(3):45-52 [Abstract(3925)]  [View PDF(4965)463.51 K]

AN ASSERTIONAL PROOF FOR PETERSON-FISCHER 2-MUTUAL ALGORITHM Su Yunlin 1993,4(3):53-57 [Abstract(4066)]  [View PDF(4359)308.28 K]

A PROCEDURAL SEMANTICS OF THE LPS PROGRAMS Zhao Chunxiao and Li Lei 1993,4(3):58-60 [Abstract(4707)]  [View PDF(4961)232.10 K]

A ALGORITHM FOR PARALLELISM DETECTION Chen Haoying 1993,4(3):61-64 [Abstract(3871)]  [View PDF(4405)274.97 K]