中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共80条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
基于元数据逻辑无关片断的结构完整性检测方法 期刊论文
计算机研究与发展, 2020, 卷号: 57.0, 期号: 009, 页码: 1961
作者:  赵晓非;  史忠植;  刘建伟
收藏  |  浏览/下载：27/0  |  提交时间：2023/12/04
逻辑无关片断  结构完整性  存储库系统  元对象设施  元数据  
描述逻辑ALC中关于伪子概念极小改变的R-演算 期刊论文
软件学报, 2019, 卷号: 30.0, 期号: 012, 页码: 3683
作者:  王雨晖;  眭跃飞
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
描述逻辑  信念修正  R-演算  伪子概念  ■-极小改变  
面向异构语义映射的D3L转换算法及其性质研究 期刊论文
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者:  赵晓非;  史忠植;  冯志勇
收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04
分布式动态描述逻辑  异构桥规则  正则性  集中式推理  计算复杂度  
A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文
中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者:  Li Wei;  Sui Yuefei
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订  
Contrary description logic： Gentzen deduction system 期刊论文
中国科学：信息科学（英文版）, 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:  Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
描述逻辑  演绎系统  构造函数  金  语义  
基于特征驱动的微博话题检测方法 期刊论文
中文信息学报, 2017, 卷号: 31.0, 期号: 003, 页码: 101
作者:  贺敏;  刘玮;  刘悦;  王丽宏;  白硕;  程学旗
收藏  |  浏览/下载：15/0  |  提交时间：2023/12/04
话题检测  微博  关键特征  逻辑回归  聚类  
The B4-valued propositional logic with unary logical connectives ～1 /～2/┐ 期刊论文
中国计算机科学前沿：英文版, 2017, 卷号: 11.0, 期号: 005, 页码: 887
作者:  Li Wei;  Sui Yuefei
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
命题逻辑  连接  演绎系统  布尔代数  三元  
命题中介逻辑的可靠和完备Gentzen推导系统 期刊论文
软件学报, 2016, 卷号: 000, 期号: 002, 页码: 209
作者:  朱梧槚;  李未;  眭跃飞;  罗杰
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
中介逻辑  矛盾关系  反对关系  可靠性  完备性  
基于布尔语义的Gentzen推导模型 期刊论文
计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221
作者:  陈博;  眭跃飞
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
布尔代数  命题逻辑  不等式  完备性  
具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统 期刊论文
软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286
作者:  邓少波;  黎敏;  曹存根;  眭跃飞
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
命题模态逻辑  模态词  公理系统