中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	面向异构语义映射的D3L转换算法及其性质研究期刊论文 OAI收割计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715 作者: 赵晓非; 史忠植; 冯志勇 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2023/12/04 分布式动态描述逻辑异构桥规则正则性集中式推理计算复杂度
	D3L（ccy）的属性及分布式Tableaux推理算法的研究期刊论文 OAI收割计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者: 赵晓非; 田东平; 张文波; 史忠植 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2023/12/04 分布式动态描述逻辑知识传播组合一致性分布式推理 Tableaux推理算法 distributed dynamic description logics （D3L）
	支持链式桥规则的分布式动态描述逻辑期刊论文 OAI收割高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452 作者: 张建华; 史忠植; 岳金朋; 齐保元; 蒋运承 \| 收藏 \| 浏览/下载：6/0 \| 提交时间：2023/12/04 描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则链式桥规则
	链式桥规则导致的D3L知识传播及推理期刊论文 OAI收割计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2419 作者: 赵晓非; 田东平; 史颖欢; 史忠植 \| 收藏 \| 浏览/下载：6/0 \| 提交时间：2023/12/04 分布式动态描述逻辑（D3L）知识传播合取映射链式桥规则
	动态描述逻辑推理的并行计算技术期刊论文 OAI收割计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2317 作者: 王竹晓; 胡宏; 陈立民; 史忠植 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 并行推理动态描述逻辑分布式动态描述逻辑表算法推理引擎
	一种分布式动态描述逻辑期刊论文 OAI收割计算机研究与发展, 2006, 期号: 第9期, 页码: 1603~1608页作者: 王驹; 蒋运承; 史忠植; 汤庸 \| 收藏 \| 浏览/下载：6/0 \| 提交时间：2010/10/15 描述逻辑动态描述逻辑分布式动态描述逻辑语义web
	一种分布式动态描述逻辑期刊论文 OAI收割计算机研究与发展, 2006, 卷号: 43.0, 期号: 009, 页码: 1603 作者: 王驹; 蒋运承; 史忠植; 汤庸 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 描述逻辑动态描述逻辑分布式动态描述逻辑语义Web