孙凌云 栾尚敏 马世龙 李清 马绍汉 张晓清 陈禹六 黄雄 王飓安 林作铨 李忠泽 高小鹏 龙翔 郭宏蕾 赵沁平 刘向阳 潘清 吴文峻 李波 苏开乐 王如云 许可

迭代修正 虚拟企业 算法分析 极限 算法演化 算法重定位 五十年代 信念修正 当且仅当 SAT问题 回溯算法 反向传播算法 网络协议 R-重构 最佳映射 软件自动化 命题逻辑 经典逻辑 企业建模 相干逻辑 超协调逻辑 求解方法 NOW 体系结构 信念集 通用性 非单调逻辑 平均复杂性 相对误差 神经网络

中国科学院软件研究所 北京航空航天大学软件开发环境国家重点实验... 清华大学自动化系 南京大学计算机软件新技术国家重点实验室 山东大学计算机科学系 中山大学计算机科学系 北京航空航天大学计算机科学与工程系 汕头大学计算机科学系