QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 发表日期：2012     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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 A complete first-order temporal BDI logic for forest multi-agent systems 期刊论文 knowledge based systems, 2012 Wu, Lijun; Su, Kaile; Sattar, Abdul; Chen, Qingliang; Su, Jinshu; Wu, Wei 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12 First-order temporal BDI logic  First-order temporal BDI interpreted system  Forest multi-agent system  Model checking  BDI proof system  COMMITMENT   A succinct and efficient implementation of a 232 BDD package 其他 2012-01-01 Lv, Guanfeng; Chen, Yao; Feng, Yachao; Chen, Qingliang; Su, Kaile 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/17 Model checking cooperative multi-agent systems in BDI logic 期刊论文 journal of information and computational science, 2012 Chen, Qingliang; Su, Kaile; Wu, Lijun; Xu, Zhaocheng 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13 solving difficult sat problems by using obdds and greedy clique decomposition 会议论文 6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012 Xu Yanyan; Chen Wei; Su Kaile; Zhang Wenhui 收藏  |  浏览/下载：12/0  |  提交时间：2013/09/22 Algorithms  Heuristic methods   greedy clique decomposition for symbolic satisfiability solving 期刊论文 International Journal of Advancements in Computing Technology, 2012, 卷号: 4, 期号: 10, 页码: 174-184 Xu Yanyan; Chen Wei; Su Kaile; Zhang Wenhui 收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 Heuristic methods   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