论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 上海科技大学学报期刊 \
Horn集的RUE—NRF推理规则下的输入半锁反驳
推荐文章
基于证据推理的确定因子规则库推理方法
不确定性推理
知识表示
确定因子规则库
证据推理
基于模糊神经网络的Horn集上的输入归结
逻辑系统
神经网络
模糊
归结原理
输入归结
子句集Σ的极大Horn下界
自动推理
子句集的模型
极大Horn下界
行为时序逻辑中四级公平性下的活性推理规则
行为时序逻辑
公平性
活性
推理规则
系统验证
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Horn集的RUE—NRF推理规则下的输入半锁反驳 | ||
| 来源期刊 | 上海科技大学学报 | 学科 | 数学 |
| 关键词 | Horn集上 RUF-NRF 输入半锁反驳 | ||
| 年，卷（期） | shkjdxxb,（1） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 53-58 | |
| 页数 | 6页 | 分类号 | O153 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (2)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1989(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
Horn集上
RUF-NRF
输入半锁反驳
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
上海科技大学学报
主办单位：
出版周期：
季刊
ISSN：
0258-7041
CN：
31-1435/N
开本：
出版地：
上海市嘉定城中路20号
邮发代号：
创刊时间：
语种：
出版文献量（篇）
370
总下载数（次）
2
期刊文献
相关文献
推荐文献
