康家成 许道云 张颖 谢刚 汪维清 宁卓 赖鑫生 丁德成 李娟 杨波 董明楷 邹阳

自相容 迁移策略 Widening算子 最小支持期望 多种群模型 非单调推理 推理算法 累积性 数据挖掘 有序缺省理论 并行遗传算法 缺省逻辑 渗透原理 单调性 加权关联规则 算法 频繁项集 正则文法 语义 子句型缺省理论 自相容性 扩张 抽象解释 分情形推理 关联规则 Narrowing算子 （联合）相容性 Galois连接 正则语言 不确定有限自动机

贵州科学院 西南师范大学电子与信息工程系 南京大学数学系 贵州大学计算机科学系 西南大学计算机与信息科学学院 贵州贵阳