AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
自动推理图谱-计算机领域:
研究人员
曾振柄
伏玉琛
郭远华
钟秀琴
胡守仁
王杰生
吕帅
秦超
李舟军
王晓京
石莲
刘全
陈帆
段云所
张东摩
陈钟
刘磊
陈光喜
张景中
崔志明
龚声蓉
杨莉
符红光
沈国坤
凌兴宏
李梦君
黄河燕
李莹
杨炳儒
宫宁生
相关术语
中介模态逻辑
证明树
可读证明
软件重用
启发式推理
专家系统
D公理
可满足性
LISP
非经典逻辑
经典逻辑
Tableau
表推演
知识库
试探法
非单调
推理引擎
知识再现
中介逻辑
数据挖掘
公理系统
合一替换
知识表示
逻辑理论
组合规则
conformant规划
重言衍推
知识获职
知识获取
Web服务
标签云
自动推理图谱-计算机领域:
图谱关系 查看更多
研究人员 查看更多
自动推理标签云