{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:24:52Z","timestamp":1725809092081},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319135595"},{"type":"electronic","value":"9783319135601"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13560-1_72","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T05:24:07Z","timestamp":1415942647000},"page":"871-876","source":"Crossref","is-referenced-by-count":1,"title":["Quantified Coalition Logic for BDI-Agents: Completeness and Complexity"],"prefix":"10.1007","author":[{"given":"Qingliang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaile","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"72_CR1","unstructured":"Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: Proceedings of the First International Conference on Multiagent Systems, San Francisco, California, USA, June 12-14, pp. 312\u2013319 (1995)"},{"issue":"2","key":"72_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s11229-008-9363-1","volume":"165","author":"T. \u00c5gotnes","year":"2008","unstructured":"\u00c5gotnes, T., van der Hoek, W., Wooldridge, M.: Quantified coalition logic. Synthese\u00a0165(2), 269\u2013294 (2008)","journal-title":"Synthese"},{"issue":"1","key":"72_CR3","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"},{"key":"72_CR4","unstructured":"Halpern, J.Y., Fagin, R., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press (1995)"},{"issue":"2","key":"72_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054(2), 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"72_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s10849-014-9201-4","volume":"23","author":"T. \u00c5gotnes","year":"2014","unstructured":"\u00c5gotnes, T., Alechina, N.: A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information\u00a023(2), 197\u2013217 (2014)","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"72_CR7","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/s10458-013-9231-3","volume":"28","author":"N. Bulling","year":"2014","unstructured":"Bulling, N., Jamroga, W.: Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Autonomous Agents and Multi-Agent Systems\u00a028(3), 474\u2013518 (2014)","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2014: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13560-1_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T13:56:11Z","timestamp":1559051771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13560-1_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319135595","9783319135601"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13560-1_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}