{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:46:37Z","timestamp":1729640797754,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/iske.2008.4731126","type":"proceedings-article","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T14:18:38Z","timestamp":1231942718000},"page":"1271-1275","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about belief, goal and exceptions in multi-agent cooperation logics"],"prefix":"10.1109","author":[{"family":"Xianwei Lai","sequence":"first","affiliation":[]},{"family":"Shanli Hu","sequence":"additional","affiliation":[]},{"family":"Zhengyuan Ning","sequence":"additional","affiliation":[]},{"family":"Xiuli Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"non-monotonic temporal logics that facilitate elaboration tolerant revision of goals","author":"baral","year":"0","journal-title":"To appear in AAAI-2008"},{"key":"17","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":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"15","first-page":"1","article-title":"axiomatic systems for alternating-time temporal epistemic logics","author":"goranko","year":"2004","journal-title":"Proceedings of LOFT'04 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":"3","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":"2","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2006.37"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICICIC.2008.368"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLC.2008.4620542"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2007.525"},{"key":"5","first-page":"546","article-title":"a theoretical framework of rational and emotional agent for ubiquitous computing","author":"xianwei lai","year":"2006","journal-title":"Proceedings of ICAT 16th International Conference on Artificial Reality and Telexistence Workshops"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLC.2006.258886"},{"key":"9","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":"8","doi-asserted-by":"publisher","DOI":"10.1109\/NCM.2008.257"}],"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\/04731126.pdf?arnumber=4731126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T11:43:20Z","timestamp":1497786200000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4731126\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iske.2008.4731126","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}