{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T17:10:05Z","timestamp":1746205805047,"version":"3.40.4"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319064826"},{"type":"electronic","value":"9783319064833"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06483-3_24","type":"book-chapter","created":{"date-parts":[[2014,4,30]],"date-time":"2014-04-30T13:07:57Z","timestamp":1398863277000},"page":"269-274","source":"Crossref","is-referenced-by-count":0,"title":["Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Qingliang","family":"Chen","sequence":"first","affiliation":[]},{"given":"Kaile","family":"Su","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Guiwu","family":"Hu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems, 2nd edn. John Wiley & Sons Press (2009)"},{"issue":"1","key":"24_CR2","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation\u00a012(1), 149\u2013166 (2002)","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"24_CR3","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"24_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-93920-7_4","volume-title":"Declarative Agent Languages and Technologies VI","author":"J. Broersen","year":"2009","unstructured":"Broersen, J.: A complete STIT logic for knowledge and action, and some of its applications. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol.\u00a05397, pp. 47\u201359. Springer, Heidelberg (2009)"},{"key":"24_CR5","unstructured":"Halpern, J.Y., Fagin, R., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press (1995)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time: Extended abstract. In: Proceedings of the 18th Annual ACM Symposium on Theory of Computing, Berkeley, California, USA, May 28-30, pp. 304\u2013315 (1986)","DOI":"10.1145\/12130.12161"},{"issue":"1-3","key":"24_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"V. Goranko","year":"2006","unstructured":"Goranko, V., van Drimmelen, G.: Complete axiomatization and decidability of alternating-time temporal logic. Theoretical Computer Science\u00a0353(1-3), 93\u2013117 (2006)","journal-title":"Theoretical Computer Science"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Broersen, J., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2007), Brussels, Belgium, pp. 92\u2013101 (2007)","DOI":"10.1145\/1324249.1324264"},{"issue":"3","key":"24_CR9","doi-asserted-by":"publisher","first-page":"261","DOI":"10.3166\/jancl.19.261-290","volume":"19","author":"J. Broersen","year":"2009","unstructured":"Broersen, J., Herzig, A., Troquard, N.: What groups do, can do, and know they can do: an analysis in normal modal logics. Journal of Applied Non-Classical Logics\u00a019(3), 261\u2013290 (2009)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"24_CR10","unstructured":"\u00c5gotnes, T., Alechina, N.: Epistemic coalition logic: Completeness and complexity. In: Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pp. 1099\u20131106. ACM Press (2012)"},{"issue":"1","key":"24_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica\u00a075(1), 125\u2013157 (2003)","journal-title":"Studia Logica"},{"issue":"4","key":"24_CR12","doi-asserted-by":"publisher","first-page":"423","DOI":"10.3166\/jancl.17.423-475","volume":"17","author":"W. Jamroga","year":"2007","unstructured":"Jamroga, W., \u00c5gotnes, T.: Constructive knowledge: What agents can achieve under imperfect information. Journal of Applied Non-Classical Logics\u00a017(4), 423\u2013475 (2007)","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06483-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T16:38:22Z","timestamp":1746203902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06483-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319064826","9783319064833"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06483-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}