|
已选(0)清除
条数/页： 排序方式： |
| 无权访问的条目 学位论文
作者: 诸峰
 Adobe PDF(2812Kb) |  收藏 | 浏览/下载：0/0 | 提交时间：2014/07/01 |
| 无权访问的条目 学位论文
作者: 岳金朋
Adobe PDF(1948Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/08 |
| 基于动态描述逻辑的语义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 |
| 无权访问的条目 学位论文
作者: 杨鲲
Adobe PDF(4448Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/06/22 |
| 无权访问的条目 期刊论文
作者: 房俊; 赵卓峰; 温彦; 亓开元
Adobe PDF(202Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/03/10 |
| 基于动态描述逻辑DDL的动作理论 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 203
作者: 常亮; 陈立民
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
动态描述逻辑 知识表示和推理 动作理论 智能主体 语义Web |
| 可判定的时序动态描述逻辑 期刊论文
软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524
作者: 常亮; 史忠植; 古天龙; 王晓峰
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 |
| 无权访问的条目 学位论文
作者: 王竹晓
Adobe PDF(2593Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/06/23 |
