已选(0)清除
条数/页: 排序方式: |
| L3-值命题逻辑的R-演算 期刊论文 计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164 作者: 曹存根; 胡岚曦; 眭跃飞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 信念修正 R-演算 余矢列式 Gentzen推理系统 非单调性 |
| 基于事件属性的事件分类研究 期刊论文 中文信息学报, 2020, 卷号: 34, 期号: 10, 页码: 39 作者: 王亚; 曹存根
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2024/05/20 semantic categorization of events characteristic attribute event frame 事件语义分类 特征属性 事件框架 |
| 具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统 期刊论文 软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286 作者: 邓少波; 黎敏; 曹存根; 眭跃飞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 命题模态逻辑 模态词 公理系统 |
| 无权访问的条目 期刊论文 作者: 王石; 吴昱明; 臧良俊; 曹存根
Adobe PDF(277Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2014/07/25 |
| 公式分层的谓词模态逻辑 期刊论文 软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014 作者: 孙梅莹; 邓少波; 陈博; 曹存根; 眭跃飞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 跨可能世界相等 谓词模态逻辑 可变论域语义 Ⅴ-性质 可靠性 完备性 |
| 逻辑之间的语义忠实语义满翻译 期刊论文 软件学报, 2013, 卷号: 24.0, 期号: 007, 页码: 1626 作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 翻译 语义忠实语义满翻译 逻辑同义性 |
| 面向服务业的通用业务知识模型与逻辑表示 期刊论文 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 243 作者: 周平; 王卫民; 罗伟民; 陈其铭; 郑宇飞; 曹存根
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 通用业务模型 主题 动态描述逻辑 动作 |
| 无权访问的条目 期刊论文 作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹
Adobe PDF(402Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/18 |
| 不同逻辑间翻译的逻辑性质 期刊论文 计算机学报, 2009, 卷号: 000, 期号: 010, 页码: 2091 作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 翻译 语义忠实翻译 语义满翻译 二阶逻辑 一阶逻辑 |
| 无权访问的条目 期刊论文 作者: 林乐宇; 刘 磊; 王 石; 郑宇飞; 丰强泽; 曹存根
Adobe PDF(829Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/12 |