康家成 许道云 张颖 谢刚 汪维清 宁卓 赖鑫生 丁德成

自相容 迁移策略 Widening算子 最小支持期望 多种群模型 非单调推理 推理算法 累积性

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