AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
欧阳丹彤图谱-计算机领域:
相关人员
刘叙华
姜云飞
吕帅
张永刚
孙吉贵
白洪涛
刘瑶
殷明浩
蔡敦波
杨宇鹏
叶育鑫
张长胜
张立明
魏唯
研究领域
Horn集
一致性检测
实时更新
智能搜索引擎
2-CNF推理
基于模型的诊断
定理证明
命题逻辑
本原蕴涵蕴涵式
可满足性问题
粒子群优化
Conformant规划
溯因诊断
语义Web搜索
冲突
完备性
调解法
负子句
故障模型
溯因符号
子句集
Tableau演算
调解式
简单因果理论
路径扩展
粒子能量
SAT
多目标问题
启发式搜索
本原蕴含/蕴含式
所属机构
吉林大学计算机科学系
吉林大学计算机科学与技术学院
中山大学计算机软件研究所
符号计算与知识工程教育部重点实验室
吉林大学计算机科学与技术学院符号计算与知...
中山大学计算机软件所
吉林大学符号计算与知识工程教育部重点实验...
东北大学信息科学与工程学院
标签云
欧阳丹彤图谱-计算机领域:
图谱关系 查看更多
相关人员 查看更多
欧阳丹彤标签云