{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:24:34Z","timestamp":1725809074393},"publisher-location":"Cham","reference-count":23,"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_58","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T05:24:07Z","timestamp":1415942647000},"page":"733-746","source":"Crossref","is-referenced-by-count":3,"title":["GDL Meets ATL: A Logic for Game Description and Strategic Reasoning"],"prefix":"10.1007","author":[{"given":"Guifei","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongmo","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Perrussel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"58_CR1","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"},{"issue":"6","key":"58_CR2","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","volume":"208","author":"K. Chatterjee","year":"2010","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Information and Computation\u00a0208(6), 677\u2013693 (2010)","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 157\u2013164. ACM (2005)","key":"58_CR3","DOI":"10.1145\/1082473.1082497"},{"issue":"2\/3","key":"58_CR4","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00370838","volume":"57","author":"M. Kaneko","year":"1996","unstructured":"Kaneko, M., Nagashima, T.: Game logic and its applications. Studia Logica\u00a057(2\/3), 325\u2013354 (1996)","journal-title":"Studia Logica"},{"doi-asserted-by":"crossref","unstructured":"Parikh, R.: The logic of games and its applications. In: Karplnski, M., van Leeuwen, J. (eds.) Topics in the Theory of Computation Selected Papers of the International Conference on \u2018Foundations of Computation Theory\u2019, FCT 1983. North-Holland Mathematics Studies, vol.\u00a0102, pp. 111\u2013139. North-Holland (1985)","key":"58_CR5","DOI":"10.1016\/S0304-0208(08)73078-0"},{"issue":"2","key":"58_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1027354826364","volume":"75","author":"M. Pauly","year":"2003","unstructured":"Pauly, M., Parikh, R.: Game logic-an overview. Studia Logica\u00a075(2), 165\u2013182 (2003)","journal-title":"Studia Logica"},{"doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Reasoning about strategies. In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, pp. 336\u2013347. Springer (2013)","key":"58_CR7","DOI":"10.1007\/978-3-642-38164-5_23"},{"issue":"1","key":"58_CR8","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":"2","key":"58_CR9","first-page":"62","volume":"26","author":"M. Genesereth","year":"2005","unstructured":"Genesereth, M., Love, N., Pell, B.: General game playing: Overview of the AAAI competition. AI Magazine\u00a026(2), 62\u201372 (2005)","journal-title":"AI Magazine"},{"unstructured":"Mogavero, F., Murano, A., Vardi, M.Y.: Reasoning about strategies. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, pp. 133\u2013144. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)","key":"58_CR10"},{"unstructured":"Ramanujam, R., Simon, S.E.: Dynamic logic on games with structured strategies. In: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 49\u201358 (2008)","key":"58_CR11"},{"doi-asserted-by":"crossref","unstructured":"Zhang, D., Thielscher, M.: Representing and reasoning about game strategies. To Appear in J. Philosophical Logic (2014)","key":"58_CR12","DOI":"10.1007\/s10992-014-9334-6"},{"unstructured":"van Benthem, J.: In praise of strategies. In: Eijck, J.V., Verbrugge, R. (eds.) Games, Actions, and Social Software. ILLC scientific publications, Institute for Logic, Language and Computation (ILLC), University of Amsterdam (2008)","key":"58_CR13"},{"key":"58_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-40948-6_13","volume-title":"Logic, Rationality, and Interaction","author":"A. Herzig","year":"2013","unstructured":"Herzig, A., Lorini, E., Walther, D.: Reasoning about actions meets strategic logics. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol.\u00a08196, pp. 162\u2013175. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 269\u2013278. ACM (2007)","key":"58_CR15","DOI":"10.1145\/1324249.1324285"},{"issue":"1","key":"58_CR16","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(01)00152-7","volume":"134","author":"H.J. Herik Van den","year":"2002","unstructured":"Van den Herik, H.J., Uiterwijk, J.W., Van Rijswijck, J.: Games solved: Now and in the future. Artificial Intelligence\u00a0134(1), 277\u2013311 (2002)","journal-title":"Artificial Intelligence"},{"unstructured":"Polak, B.: Backward induction: Chess, strategies, and credible threats (2007), \n                    \n                      http:\/\/oyc.yale.edu\/economics\/econ-159\/lecture-15","key":"58_CR17"},{"key":"58_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1111\/j.1467-8640.1996.tb00250.x","volume":"12","author":"L.V. Allis","year":"1996","unstructured":"Allis, L.V., van den Herik, H.J., Huntjens, M.P.H.: Go-moku solved by new search techniques. Computational Intelligence\u00a012, 7\u201323 (1996)","journal-title":"Computational Intelligence"},{"issue":"1","key":"58_CR19","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0004-3702(94)90004-3","volume":"66","author":"L. Allis","year":"1994","unstructured":"Allis, L., van der Meulen, M., van den Herik, H.: Proof-number search. Artificial Intelligence\u00a066(1), 91\u2013124 (1994)","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Allis, L.V.: A knowledge-based approach of connect-four. Vrije Universiteit, Subfaculteit Wiskunde en Informatica (1988)","key":"58_CR20","DOI":"10.3233\/ICG-1988-11410"},{"unstructured":"Allis, L.V.: Searching for solutions in games and artificial intelligence. Ph.D. thesis, University of Limburg, The Netherlands (1994)","key":"58_CR21"},{"issue":"1","key":"58_CR22","doi-asserted-by":"crossref","first-page":"30","DOI":"10.3233\/ICG-2001-24104","volume":"24","author":"J. W\u00e1gner","year":"2001","unstructured":"W\u00e1gner, J., Vir\u00e1g, I.: Solving renju. ICGA Journal\u00a024(1), 30\u201335 (2001)","journal-title":"ICGA Journal"},{"issue":"6","key":"58_CR23","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.1093\/logcom\/exp039","volume":"19","author":"J. Ruan","year":"2009","unstructured":"Ruan, J., Van Der Hoek, W., Wooldridge, M.: Verification of games in the game description language. Journal of Logic and Computation\u00a019(6), 1127\u20131156 (2009)","journal-title":"Journal of Logic and Computation"}],"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_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T14:23:18Z","timestamp":1559053398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13560-1_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319135595","9783319135601"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13560-1_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}