张永刚 李爱中 于海鸿 凌兴宏 刘叙华 刘科成 高振海 朱兴军 李泽海 陈尚伟 行荣 卢欣华 荆涛 赵连宇 林海 欧阳丹彤 杨轻云 殷明浩 吕楠 张居阳 王远志 吴瑕 景沈艳 刘杰 冯果忱 李妮娅 张朝辉 韩霄松 齐红 马春旺

TableauTAP系统 传播规则 子句集 负子句 集合的上集下集 不等式析取 知识表示 广义量词 多回路运输问题 约束传播 基于模型的诊断 图搜索算法 非二元CSP求解 经典否定 变异 模态逻辑 Tableau Grover迭代的几何表示 不等式组 延迟部分推理 大批量定制 父节点 关系抽取 工作流管理系统 权限管理 测试 属性选择 条件化基于角色的访问控制 缺省否定 优化技术

吉林大学计算机科学系 苏州大学计算机科学与技术学院 吉林大学符号计算与知识工程教育部重点实验... 东北师范大学计算机学院 吉林大学计算机科学与技术学院 长春130012吉林大学符号计算与知识工... 长春工业大学计算机科学与工程学院 吉林大学计算机科学与技术学院符号计算与知...