已选(0)清除
条数/页: 排序方式: |
| 基于动态描述逻辑的语义Web服务组合 期刊论文 计算机学报, 2013, 卷号: 36.0, 期号: 012, 页码: 2468 作者: 常亮; 刘进; 古天龙; 史忠植
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 语义Web服务 服务组合 动态描述逻辑 动作理论 规划问题 |
| 无权访问的条目 期刊论文 作者: 房俊; 赵卓峰; 温彦; 亓开元
Adobe PDF(202Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2011/03/10 |
| 基于动态描述逻辑DDL的动作理论 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203 作者: 常亮; 陈立民
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 动态描述逻辑 知识表示和推理 动作理论 智能主体 语义Web |
| 可判定的时序动态描述逻辑 期刊论文 软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524 作者: 常亮; 史忠植; 古天龙; 王晓峰
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 |
| 无权访问的条目 期刊论文 作者: 万长林
Adobe PDF(2382Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/06/25 |
| 无权访问的条目 期刊论文 作者: 史忠植; 常亮
Adobe PDF(1006Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/19 |
| 无权访问的条目 期刊论文 作者: 常亮; 史忠植; 邱莉榕; 林芬
Adobe PDF(541Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/19 |
| 动态描述逻辑的Tableau判定算法 期刊论文 计算机学报, 2008, 卷号: 31.0, 期号: 006, 页码: 896 作者: 常亮; 史忠植; 邱莉榕; 林芬
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 动态描述逻辑 动作理论 可满足性问题 Tableau算法 可判定性 |
| 基于动态描述逻辑的语义Web服务推理 期刊论文 计算机学报, 2008, 卷号: 31.0, 期号: 009, 页码: 1599 作者: 史忠植; 常亮
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 语义Web服务 OWL-S 动态描述逻辑 Web服务推理 服务发现和组合 |
| 无权访问的条目 期刊论文 作者: 林海略; 刘晨; 王建武; 房俊; 李厚福
Adobe PDF(494Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/02/02 |