冀高峰 汤庸 刘真环 周生明 董明楷 唐素勤 盛秋戬 王驹 张海俊 史忠植 袁鼎荣 邓培民 林芬 申宇铭 张师超 耿继兵 姚兴华 张维 李淑英 李梅 蔡自兴 曹发生 余泉 覃俊明 易忠 程勇 侯金宏

概念描述树 多Agent系统 描述图 不动点构造算子 模糊ER模型 情境演算 树自动机 不确定性关系 输出权 自主计算 软件复用 完备格 标准推理 服务匹配 带条件的有限状态自动机 描述语义 属性依赖 时序数据库 服务计算 开发工具 描述逻辑 服务质量估计 SDLSIN 不动点语义 时序ER模型 完全强化自动机 混合分级μ-演算 缺省可满足性 知识格 传递关系

广西桂林 中国科学院计算技术研究所 广东广州 广西师范大学数学科学学院 中国科学院计算机科学国家重点实验室 广西师范大学数学与计算机科学学院 广西师范大学计算机科学与信息工程学院 北京100080中国科学院研究生院