|
已选(0)清除
条数/页： 排序方式： |
| 基于元数据逻辑无关片断的结构完整性检测方法 期刊论文
计算机研究与发展, 2020, 卷号: 57.0, 期号: 009, 页码: 1961
作者: 赵晓非; 史忠植; 刘建伟
  收藏 | 浏览/下载：16/0 | 提交时间：2023/12/04
逻辑无关片断 结构完整性 存储库系统 元对象设施 元数据 |
| 基于事件属性的事件分类研究 期刊论文
中文信息学报, 2020, 卷号: 34, 期号: 10, 页码: 39
作者: 王亚; 曹存根
收藏 | 浏览/下载：0/0 | 提交时间：2024/05/20
semantic categorization of events characteristic attribute event frame 事件语义分类 特征属性 事件框架 |
| 描述逻辑ALC中关于伪子概念极小改变的R-演算 期刊论文
软件学报, 2019, 卷号: 30.0, 期号: 012, 页码: 3683
作者: 王雨晖; 眭跃飞
收藏 | 浏览/下载：4/0 | 提交时间：2023/12/04
描述逻辑 信念修正 R-演算 伪子概念 ■-极小改变 |
| 无权访问的条目 学位论文
作者: 李春尧
Adobe PDF(4922Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2018/06/22 |
| 面向异构语义映射的D3L转换算法及其性质研究 期刊论文
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者: 赵晓非; 史忠植; 冯志勇
收藏 | 浏览/下载：4/0 | 提交时间：2023/12/04
分布式动态描述逻辑 异构桥规则 正则性 集中式推理 计算复杂度 |
| 无权访问的条目 学位论文
作者: 李勐
Adobe PDF(3020Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/06/28 |
| 无权访问的条目 学位论文
作者: 杜潘洋
Adobe PDF(4228Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/06/20 |
| Contrary description logic： Gentzen deduction system 期刊论文
中国科学：信息科学（英文版）, 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者: Li Wei; Sui Yuefei; Luo Jie; Chen Bo
收藏 | 浏览/下载：4/0 | 提交时间：2023/12/04
描述逻辑 演绎系统 构造函数 金 语义 |
| 无权访问的条目 学位论文
作者: 陈博
Adobe PDF(1537Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/01/19 |
| 无权访问的条目 学位论文
作者: 李彦霖
Adobe PDF(7309Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2015/07/06 |
