新一代计算机的研究：我们的工作与初步结果&慈云桂 刘桂仲 孙成政 张晨曦 李良良 王志英 1
并行推理机系统HMPIS的群落结构&刘志勇 高庆狮 9
并行图归约计算与并行图归约计算机的研究&王鼎兴 房家国 郑纬民 郭毅可 杜晓黎 15
智能机漫谈&徐家福 孙钟秀 35
智能化软件工程支撑环境&杨芙清 方裕 陈良华 37
软件自动化初探&戴敏 袁峰 陈小群 陈道蓄 徐家福 45
智能操作系统初探&谢立 谭耀铭 孙钟秀 49
未来计算机：新一代、二代、…n代&谢志良 54
计算机科学的基础理论&史忠植 62
算子Fuzzy逻辑和λ归结方法&刘叙华 肖红 68
向着建立第二代专家系统—工具系统ZDEST-2介绍&童学军 何志钧 俞瑞钊 72
大型知识库管理系统QKBMS/75&周立柱 杨德元 80
基于元知识的知识程序开发环境—MIKE&孙怀民 王康 87
基于性质论的概念学习&韩建超 史忠植 93
论专家系统中不精确推理的单位元&张成奇 100
ESDEN专家系统开发环境及实现&许志平 史忠植 106
分布式专家系统&陆汝钤 114
ALFALFA：第二代专家系统的一个雏形&洪家荣 卡尔·尤瑞克 125
KMIX通用知识库系统的体系结构&杨涛 何志钧 俞瑞钊 132
基于OR树林的逻辑程序并行执行模型—PSOF模型&孙成政 慈云桂 139
实验性并行推理系统NDPIS&徐家福 章萃 赵沁平 周文达 145
一个层次型数据流计算机HDDS中的数据定向机构&吴刚 陈仁甫 149
数据流与控制流相结合的计算模型与体系结构&刘桂仲 慈云桂 153
Warren抽象机的改进与扩展&沈滨 谢志良 163
面向AI问题求解的计算机体系&童頫 170
知识库机KBM的体系设计&史忠植 175
树状结构数据库机模型&胡铭曾 孟力明等 178
一个基于规则的新一代计算机逻辑设计支撑系统的设计与实现&刘明业 郭书明 杨淮 贾良玉等 181
FP语言的实现技术和支持函数式语言的并行模型&孙永强 杨澜 郑坚平 张天宁 186
顺序PROLOG执行机构（SPE）&邢东生 邢汉承 190
编译型PROLOG系统中的反编译算法及其实现&李良良 慈云桂 197
多机环境下的PROLOG并行解释系统&沈一栋 程代杰 童頫 202
并行PROLOG系统模型&张伟 何志均 俞瑞钊 207
智能机核心语言的设计要求—LogC语言和环境研制的体会&冯玉琳 218
Lisp-ELP：设计、实现和应用&张运桢 李智勇 222