唐毅 徐洁磐 唐茂林 邰晓英 程代杰 朱关铭 吴浩东 屠轶清 朱庆生 AlbertoRocha 曾永宁 沈一栋 但琦 竺莹 李刚 李相枢

逻辑滤波器 边检测 Horn子句 问题和方法 PROLOG 神经网络 传递依赖 分析过程 接口 循环谓词 形式规格说明语言 极小覆盖 语义联系 审计 关系数据模型 无限循环 知识库 可终止 面向对象方法 句法规则 PROLOG程序 知识模型 并行计算 共享变量集 计算智能方法 识别算法 语义关系 数据发掘 软件工具 歧义性

上海大学计算机科学系 重庆大学 重庆大学计算机系 VIC3168澳大利亚 迪多大学计算与数学学院 南京大学计算机科学系 湖北大学计算机系 宁波大学