QQ客服 官方微博 反馈留言

浏览/检索结果: 共14条，第1-10条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 从物业税设想到房产税试点——转型期中国不动产税收政策变迁研究 期刊论文 2016, 2016 张克; Zhang Ke 收藏  |  浏览/下载：11/0 A first-order coalition logic for BDI-agents 期刊论文 2016, 卷号: 10, 期号: 2, 页码: 233 作者:  Chen, Qingliang[1];  Su, Kaile[1,2];  Sattar, Abdul[2];  Luo, Xiangyu[3];  Chen, Aixiang[4] 收藏  |  浏览/下载：14/0  |  提交时间：2019/12/17 A first-order coalition logic for BDI-agents 期刊论文 2016, 卷号: 0, 期号: 2, 页码: 233 作者:  Qingliang CHEN[1];  Kaile SU[1,2];  Abdul SATTAR[2];  Xiangyu LUO[3];  Aixiang CHEN[4] 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/23 一阶逻辑  BDI  Agent  联盟  多智能体系统  语义模型  PSPACE  计算复杂度   A complete coalition logic of temporal knowledge for multi-agent systems 期刊论文 Frontiers of Computer Science, 2015, 卷号: Vol.9 No.1, 页码: 75-86 作者:  Qingliang Chen;  Kaile Su;  Yong Hu;  Guiwu Hu 收藏  |  浏览/下载：4/0  |  提交时间：2019/03/04 coalition logic  temporal logic of knowledge  complete axiomatization  multi-agent systems   A complete coalition logic of temporal knowledge for multi-agent systems 期刊论文 中国计算机科学前沿(英文版), 2015, 卷号: 第9卷, 页码: 75-86 作者:  Qingliang CHEN;  Kaile SU;  Yong HU;  Guiwu HU 收藏  |  浏览/下载：1/0  |  提交时间：2019/03/04 多智能体系统  时态知识  时序逻辑  联盟  多代理系统  可满足性问题  时间维度  分布式系统   A complete coalition logic of temporal knowledge for multi-agent systems 期刊论文 2015, 卷号: 9, 期号: 1, 页码: 75 作者:  Qingliang CHEN[1];  Kaile SU[2];  Yong HU[3];  Guiwu HU[4] 收藏  |  浏览/下载：13/0  |  提交时间：2019/12/17 多智能体系统  时态知识  时序逻辑  联盟  多代理系统  可满足性问题  时间维度  分布式系统   A complete coalition logic of temporal knowledge for multi-agent systems 期刊论文 2015, 卷号: 9, 期号: 1, 页码: 75 作者:  Chen, Qingliang[1];  Su, Kaile[2];  Hu, Yong[3];  Hu, Guiwu[4] 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/06 Quantified coalition logic for bdi-agents: Completeness and complexity 期刊论文 2014, 卷号: 8862, 页码: 871 作者:  Chen, Qingliang[1];  Li, Qun[1];  Su, Kaile[2];  Luo, Xiangyu[3] 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/17 A formal framework of coalition formation and rational collaboration in multi-agent system 会议论文 作者:  Lin, Yao-Hai;  Hu, Shan-Li;  Luo, Jian-Bin 收藏  |  浏览/下载：3/0  |  提交时间：2019/11/26 multi-agent  request  alternating-time temporal logic(ATL)  believe-desire-intention (BDI)   On the Logic of Dynamic Coalition Formation 会议论文 作者:  Lin, Yao-Hai;  Hu, Shan-Li;  Luo, Jian-Bin 收藏  |  浏览/下载：5/0  |  提交时间：2019/11/26