中国科学院计算技术研究所机构知识库

浏览/检索结果: 共35条，第1-10条

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	无权访问的条目 学位论文 作者:  王旭亮 Adobe PDF(4289Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2018/07/03
	无权访问的条目 学位论文 作者:  李岩 Adobe PDF(7263Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2017/07/07
	无权访问的条目 学位论文 作者:  郭树盛 Adobe PDF(5862Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2015/07/06
	无权访问的条目 学位论文 作者:  袁子牧 Adobe PDF(3305Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2015/06/26
	无权访问的条目 学位论文 作者:  张建华 Adobe PDF(1844Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2014/07/10
	支持链式桥规则的分布式动态描述逻辑 期刊论文 高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452 作者:  张建华;  史忠植;  岳金朋;  齐保元;  蒋运承;  王晓峰 收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04 描述逻辑(DL)  动态描述逻辑(DDL)  分布式动态描述逻辑(D3L)  桥规则  链式桥规则
	D3L（ccy）的属性及分布式Tableaux推理算法的研究 期刊论文 计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者:  赵晓非;  田东平;  张文波;  史忠植 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 分布式动态描述逻辑  知识传播  组合一致性  分布式推理  Tableaux推理算法  distributed  dynamic  description  logics  （D3L）
	无权访问的条目 学位论文 作者:  席荣荣 Adobe PDF(3004Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2014/01/15
	无权访问的条目 学位论文 作者:  冯超 Adobe PDF(1956Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2013/06/28
	无权访问的条目 学位论文 作者:  温彦 Adobe PDF(3939Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2013/01/11