QQ客服 官方微博 反馈留言

浏览/检索结果: 共24条，第1-10条 帮助 限定条件 专题：暨南大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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 期刊论文 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 complete first-order temporal BDI logic for forest multi-agent systems 期刊论文 2012, 卷号: 27, 期号: [db:dc_citation_issue], 页码: 343 作者:  Wu, Lijun[1];  Su, Kaile[2];  Sattar, Abdul[2];  Chen, Qingliang[3,4];  Su, Jinshu[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/03 Model checking cooperative multi-agent systems in BDI logic 期刊论文 2012, 卷号: 9, 期号: 5, 页码: 1185 作者:  Chen, Qingliang[1,2,3];  Su, Kaile[4];  Wu, Lijun[5];  Xu, Zhaocheng[2] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/17 Verification of web service protocols by logic of knowledge 期刊论文 2011, 卷号: 8, 期号: 6, 页码: 921 作者:  Chen, Qingliang[1,2,3];  Su, Kaile[1,4];  Cao, Ying[2];  Liu, Chanjuan[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/10 Polynomial-time hierarchy of computable reals 期刊论文 2011, 卷号: 7, 期号: 4, 页码: 1108 作者:  Chen, Qingliang[1,2,3];  Su, Kaile[3,4];  Wu, Lijun[5] 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/10 EWLS: A New Local Search for Minimum Vertex Cover 会议论文 Atlanta, GA, JUL 11-15, 2010 作者:  Cai, Shaowei[1,2];  Su, Kaile[1,3];  Chen, Qingliang[4] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/03