已选(0)清除
条数/页: 排序方式: |
| 基于动态描述逻辑的Web自动化服务组合 期刊论文 高技术通讯, 2015, 卷号: 0.0, 期号: 2.0, 页码: 118 作者: 张建华; 田东平; 岳金朋; 张博 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 Web服务组合 语义Web 描述逻辑 动态描述逻辑(DDL) |
| 无权访问的条目 学位论文 作者: 张建华 Adobe PDF(1844Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2014/07/10 |
| 支持链式桥规则的分布式动态描述逻辑 期刊论文 高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452 作者: 张建华; 史忠植; 岳金朋; 齐保元; 蒋运承; 王晓峰 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则 |
| 基于动态描述逻辑的语义Web服务组合 期刊论文 计算机学报, 2013, 卷号: 36.0, 期号: 012, 页码: 2468 作者: 常亮; 刘进; 古天龙; 史忠植 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 语义Web服务 服务组合 动态描述逻辑 动作理论 规划问题 |
| 无权访问的条目 学位论文 作者: 韩旭 Adobe PDF(2071Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2011/06/27 |
| 无权访问的条目 学位论文 作者: 陈立民 Adobe PDF(3461Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2011/07/01 |
| 基于动态描述逻辑DDL的动作理论 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203 作者: 常亮; 陈立民 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 动态描述逻辑 知识表示和推理 动作理论 智能主体 语义Web |
| 面向服务业的通用业务知识模型与逻辑表示 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 243 作者: 周平; 王卫民; 罗伟民; 陈其铭; 郑宇飞; 曹存根 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 通用业务模型 主题 动态描述逻辑 动作 |
| 可判定的时序动态描述逻辑 期刊论文 软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524 作者: 常亮; 史忠植; 古天龙; 王晓峰 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 |
| 基于动态描述逻辑的Web服务自动组合技术 期刊论文 高技术通讯, 2011, 卷号: 21.0, 期号: 1.0, 页码: 58 作者: 陈立民; 王竹晓; 史忠植 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 Web服务 Web服务自动组合wsc) 语义Web 描述逻辑(DL) 动态描述逻辑 (DDL) |