已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 学位论文 作者: 王悦盈 Adobe PDF(3043Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2017/06/21 |
| 无权访问的条目 学位论文 作者: 诸峰 Adobe PDF(2812Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2014/07/01 |
| 无权访问的条目 学位论文 作者: 张建华 Adobe PDF(1844Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2014/07/10 |
| 无权访问的条目 学位论文 作者: 徐英钟 Adobe PDF(4519Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2014/07/10 |
| 支持链式桥规则的分布式动态描述逻辑 期刊论文 高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452 作者: 张建华; 史忠植; 岳金朋; 齐保元; 蒋运承; 王晓峰 收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04 描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则 |
| 链式桥规则导致的D3L知识传播及推理 期刊论文 计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2419 作者: 赵晓非; 田东平; 史颖欢; 史忠植 收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04 分布式动态描述逻辑(D3L) 知识传播 合取映射 链式桥规则 |
| D3L(ccy)的属性及分布式Tableaux推理算法的研究 期刊论文 计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者: 赵晓非; 田东平; 张文波; 史忠植 收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 distributed dynamic description logics (D3L) |
| 无权访问的条目 学位论文 作者: 刘超 Adobe PDF(1283Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2012/06/26 |
| 无权访问的条目 学位论文 作者: 王东升 Adobe PDF(1987Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2012/06/26 |
| 无权访问的条目 学位论文 作者: 包义保 Adobe PDF(10570Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2012/06/27 |