许骏 姜云飞 王亚英 李建民 李旗号 顾毓清 刘强 刘政怡 徐晓飞 王雨田 权光日 肖卫东 陈建祥 洪菁 张钹 赵卫东 覃振兴 刘晓平 董韫美 李琳娜 杨炳儒 徐运涛 胡熠 王正欧 刘惠彬 陈学广 张师超 倪志伟 叶风 李效东

归纳逻辑 粗集 距离 韵律短语分析 逐步求精 高阶逻辑 可分性判据 算法 计算语言学 XML 赋范划分距离 特化 上下文无关文法 知识发现 自动确认 理论修正 基于图的概念学习 决策树 正确性 文法推断 决策规则 非 Pascal 概率 操作语义 信用评估 特征 归纳逻辑程序设计 文档对象模型 归纳支持 规则提取 激活集

归纳逻辑