论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 计算机技术与应用：英文版期刊 \
Reasoning about Epistemic Actions and Knowledge in Multi-Agent Systems Using Coq
Reasoning about Epistemic Actions and Knowledge in Multi-Agent Systems Using Coq
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于Multi-Agent 的主动式ESS设计
智能体
主管支持系统
主动式
Multi-Agent系统中Agent通信可靠性的研究
可靠度
Agent
通信
基于Multi-Agent的 GDSS的研究
群决策支持系统
Multi-Agent
通信机制
分布式
基于协同学的Multi-Agent合作系统研究
协同学
多代理
自组织
序参量
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Reasoning about Epistemic Actions and Knowledge in Multi-Agent Systems Using Coq | ||
| 来源期刊 | 计算机技术与应用：英文 | 学科 | 工学 |
| 关键词 | 多Agent系统 知识推理 操作 动态逻辑 游戏卡 多代理系统 代理商 代理人 | ||
| 年，卷（期） | 2011,（8） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 616-627 | |
| 页数 | 12页 | 分类号 | TP18 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2011(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
多Agent系统
知识推理
操作
动态逻辑
游戏卡
多代理系统
代理商
代理人
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机技术与应用：英文版
主办单位：
美国大卫出版公司
出版周期：
月刊
ISSN：
1934-7332
CN：
开本：
出版地：
中国联络处：武汉洪山区卓刀泉北路金桥花园
邮发代号：
创刊时间：
语种：
出版文献量（篇）
364
总下载数（次）
0
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
计算机技术与应用：英文版2016
计算机技术与应用：英文版2015
计算机技术与应用：英文版2014
计算机技术与应用：英文版2013
计算机技术与应用：英文版2012
计算机技术与应用：英文版2011
计算机技术与应用：英文版2011年第9期
计算机技术与应用：英文版2011年第8期
计算机技术与应用：英文版2011年第7期
计算机技术与应用：英文版2011年第6期
计算机技术与应用：英文版2011年第5期
计算机技术与应用：英文版2011年第4期
计算机技术与应用：英文版2011年第3期
计算机技术与应用：英文版2011年第2期
计算机技术与应用：英文版2011年第12期
计算机技术与应用：英文版2011年第11期
计算机技术与应用：英文版2011年第10期
计算机技术与应用：英文版2011年第1期
