{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:38:07Z","timestamp":1729636687198,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/iske.2008.4731143","type":"proceedings-article","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T14:18:38Z","timestamp":1231942718000},"page":"1357-1362","source":"Crossref","is-referenced-by-count":0,"title":["Alternating-time temporal belief and knowledge logic in multi-agent systems"],"prefix":"10.1109","author":[{"family":"Zhengyuan Ning","sequence":"first","affiliation":[]},{"family":"Xianwei Lai","sequence":"additional","affiliation":[]},{"family":"Shanli Hu","sequence":"additional","affiliation":[]},{"family":"Xiuli Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Reasoning About Knowledge","year":"1995","author":"fagin","key":"19"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.12.001"},{"year":"0","key":"17"},{"key":"23","article-title":"introduction to epistemic logic","author":"zhou","year":"2001","journal-title":"CCF composition series"},{"key":"18","article-title":"in twenty-second conference on artificial intelligence (aaai-2007)","author":"wooldridge","year":"2007","journal-title":"Logic for automated mechanism design - a progress report"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2005.06.018"},{"key":"15","first-page":"1","article-title":"axiomatic systems for alternating-time temporal epistemic logics","author":"goranko","year":"2004","journal-title":"Proceedings of LOFT04 The 6th Conference on Logic and the Foundations of Game and Decision Theory Leipzig Graduate School of Management"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026185103185"},{"article-title":"strategic logics: complexity, completeness and expressivity","year":"2007","author":"walther","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.043"},{"year":"0","key":"11"},{"year":"0","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329303"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLC.2008.4620542"},{"journal-title":"Knowledge and belief an introduction to the logic of the two notions","year":"1962","author":"hintikka","key":"20"},{"key":"2","first-page":"171","article-title":"alternating-time temporal belief logic and its model checking","volume":"44","author":"ning","year":"2008","journal-title":"Journal of Nanjing University"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2007.525"},{"article-title":"logic for social software","year":"2001","author":"pauly","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-0-387-44641-7_5","article-title":"reasoning about actions, knowledge and normative ability","volume":"228","author":"lai","year":"2006","journal-title":"IFIP TC12 International Conference on Intelligent Information Processing"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2006.37"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICICIC.2008.368"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/NCM.2008.257"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLC.2006.258886"}],"event":{"name":"2008 3rd International Conference on Intelligent System and Knowledge Engineering (ISKE 2008)","start":{"date-parts":[[2008,11,17]]},"location":"Xiamen, China","end":{"date-parts":[[2008,11,19]]}},"container-title":["2008 3rd International Conference on Intelligent System and Knowledge Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4711037\/4730884\/04731143.pdf?arnumber=4731143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T11:43:21Z","timestamp":1497786201000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4731143\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/iske.2008.4731143","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}