k8凯发
首 页
智能科研实验室
研究团队
史忠植
简历
科研项目
科研成果
著作
文章
研究生课程
人才培养
石川
罗平
简历
科研项目
科研成果
敖翔
智能科研
人工智能
脑科研
认知科研
智能教学
智能科研导论
智能科研
认知基础
高级人工智能
人工智能
神经信息学
神经网路
知识发现
高级计算机网络
数据挖掘
人工智能课件
智能平台
主体网格智能平台AGrIP
主体知识管理KMSphere
多主体环境MAGE
智能主体概述
主要特征
系统开发实例
VAStudio
专家系统工具OKPS
多媒体信息检索MIRES
基于内容的图像检索
主要特征
成功实例
语义Web服务SWSBroker
应急联动GEIS
数据挖掘工具MSMiner
数据挖掘
主要特征
成功实例
系统演示
智能搜索引擎GHunt
智能决策支持系统IDSS
智能决策支持系统
主要特征
成功实例
海洋渔业资源预报系统Fisher
基于主体的电子商务系统 e-Business
智能决策系统开发平台IDSDP
模型库管理系统MBMS
神经专家系统工具ONESS
约束推理工具COPS
范例推理工具CBRS
智能学术会议
智能信息处理国际会议IIP
智能科研国际会议ICIS
国际信息研究学会（IS4SI）
IFIP人工智能学会（IFIP TC12）
CAAI智能科研与心智计算专委会（筹）
智能科研丛书
友情链接
网站简介
关注热点
学术动态
中国科研院 | 所主站 |
EN
Toggle navigation
首 页
智能科研实验室
研究团队
史忠植
石川
罗平
敖翔
智能科研
人工智能
脑科研
认知科研
智能教学
智能科研导论
智能科研
认知基础
高级人工智能
人工智能
神经信息学
神经网路
知识发现
高级计算机网络
数据挖掘
人工智能课件
智能平台
主体网格智能平台AGrIP
主体知识管理KMSphere
多主体环境MAGE
专家系统工具OKPS
多媒体信息检索MIRES
语义Web服务SWSBroker
应急联动GEIS
数据挖掘工具MSMiner
智能搜索引擎GHunt
智能决策支持系统IDSS
海洋渔业资源预报系统Fisher
基于主体的电子商务系统 e-Business
智能决策系统开发平台IDSDP
模型库管理系统MBMS
神经专家系统工具ONESS
约束推理工具COPS
范例推理工具CBRS
智能学术会议
智能信息处理国际会议IIP
智能科研国际会议ICIS
国际信息研究学会（IS4SI）
IFIP人工智能学会（IFIP TC12）
CAAI智能科研与心智计算专委会（筹）
智能科研丛书
当前位置：
k8凯发
参考文献
英文书籍
英文书籍
Automated Reasoning
发布时间：2022-06-28
| 【
大
中
小
】
分享：
附件下载：
版权所有 © 中国科研院计算技术研究所智能信息处理重点实验室智能科研课题组
京ICP备05002829号-11
地址：北京海淀区科研院南路6号
邮政编码：100190
电话：010-62600537
