|
已选(0)清除
条数/页： 排序方式： |
| 基于元数据逻辑无关片断的结构完整性检测方法 期刊论文
计算机研究与发展, 2020, 卷号: 57.0, 期号: 009, 页码: 1961
作者: 赵晓非; 史忠植; 刘建伟
  收藏 | 浏览/下载：18/0 | 提交时间：2023/12/04
逻辑无关片断 结构完整性 存储库系统 元对象设施 元数据 |
| 面向异构语义映射的D3L转换算法及其性质研究 期刊论文
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者: 赵晓非; 史忠植; 冯志勇
收藏 | 浏览/下载：6/0 | 提交时间：2023/12/04
分布式动态描述逻辑 异构桥规则 正则性 集中式推理 计算复杂度 |
| D3L（ccy）的属性及分布式Tableaux推理算法的研究 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570
作者: 赵晓非; 田东平; 张文波; 史忠植
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 distributed dynamic description logics （D3L） |
| 动态描述逻辑推理的并行计算技术 期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2317
作者: 王竹晓; 胡宏; 陈立民; 史忠植
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
并行推理 动态描述逻辑 分布式动态描述逻辑 表算法 推理引擎 |
| 基于动态描述逻辑的语义Web服务匹配研究 期刊论文
计算机研究与发展, 2008, 卷号: 45.0, 期号: 012, 页码: 2102
作者: 彭晖; 陈立民; 常亮; 史忠植
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
语义Web服务 服务匹配 描述逻辑 动态描述逻辑 动作 |
| 无权访问的条目 期刊论文
作者: 罗杰文; 施智平; 何 清; 史忠植
Adobe PDF(445Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/13 |
| 无权访问的条目 期刊论文
作者: 邱莉榕; 史忠植; 林 芬; 常 亮
Adobe PDF(459Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/13 |
| 基于主体的语义Web服务自动组合研究 期刊论文
计算机研究与发展, 2007, 卷号: 44.0, 期号: 004, 页码: 643
作者: 邱莉榕; 史忠植; 林芬; 常亮
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
语义Web服务 服务组合 AI规划 动态描述逻辑 主体 |
| 无权访问的条目 期刊论文
作者: 罗杰文; 史忠植; 王茂光; 林 芬
Adobe PDF(591Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/15 |
| 无权访问的条目 期刊论文
作者: 蒋运承; 史忠植; 汤 庸; 王 驹
Adobe PDF(454Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/15 |
