{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:40:25Z","timestamp":1742942425474,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030299071"},{"type":"electronic","value":"9783030299088"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-29908-8_44","type":"book-chapter","created":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T01:03:32Z","timestamp":1566522212000},"page":"555-567","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Encoding Epistemic Strategies for General Game Playing"],"prefix":"10.1007","author":[{"given":"Shawn","family":"Manuel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Rajaratnam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,23]]},"reference":[{"key":"44_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40948-6_1","volume-title":"Logic, Rationality, and Interaction","author":"T \u00c5gotnes","year":"2013","unstructured":"\u00c5gotnes, T., Harrenstein, P., van der Hoek, W., Wooldridge, M.: Boolean games with epistemic goals. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol. 8196, pp. 1\u201314. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40948-6_1"},{"issue":"5","key":"44_CR2","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. J. ACM 49(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"key":"44_CR3","first-page":"89","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"KR Apt","year":"1987","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann Publishers Inc., San Francisco (1987)"},{"key":"44_CR4","unstructured":"Baffier, J., et al.: Hanabi is NP-complete, even for cheaters who look at their cards. In: FUN. LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, vol. 49, pp. 4:1\u20134:17 (2016)"},{"key":"44_CR5","unstructured":"Bard, N., et al.: The Hanabi challenge: a new frontier for AI research. CoRR abs\/1902.00506 (2019). http:\/\/arxiv.org\/abs\/1902.00506"},{"key":"44_CR6","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":"44_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-319-71649-7_5","volume-title":"Advances in Computer Games","author":"B Bouzy","year":"2017","unstructured":"Bouzy, B.: Playing Hanabi near-optimally. In: Winands, M.H.M., van den Herik, H.J., Kosters, W.A. (eds.) ACG 2017. LNCS, vol. 10664, pp. 51\u201362. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-71649-7_5"},{"issue":"6","key":"44_CR8","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. Inf. Comput. 208(6), 677\u2013693 (2010)","journal-title":"Inf. Comput."},{"issue":"5","key":"44_CR9","doi-asserted-by":"publisher","first-page":"323","DOI":"10.4169\/math.mag.88.5.323","volume":"88","author":"C Cox","year":"2015","unstructured":"Cox, C., De Silva, J., Deorsey, P., Kenter, F.H., Retter, T., Tobin, J.: How to make the perfect fireworks display: two strategies for Hanabi. Math. Mag. 88(5), 323\u2013336 (2015)","journal-title":"Math. Mag."},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Eger, M., Martens, C., C\u00f3rdoba, M.A.: An intentional AI for Hanabi. In: IEEE Conference on Computational Intelligence and Games (CIG), pp. 68\u201375. IEEE (2017)","DOI":"10.1109\/CIG.2017.8080417"},{"issue":"2","key":"44_CR11","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 Mag. 26(2), 62 (2005)","journal-title":"AI Mag."},{"issue":"2","key":"44_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00564ED1V01Y201311AIM024","volume":"8","author":"Michael Genesereth","year":"2014","unstructured":"Genesereth, M., Thielscher, M.: General game playing. Synth. Lect. Artif. Intell. Mach. Learn. 8(2), 20, 172\u2013178 (2014)","journal-title":"Synthesis Lectures on Artificial Intelligence and Machine Learning"},{"issue":"2","key":"44_CR13","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1609\/aimag.v34i2.2475","volume":"34","author":"MR Genesereth","year":"2013","unstructured":"Genesereth, M.R., Bj\u00f6rnsson, Y.: The international general game playing competition. AI Mag. 34(2), 107\u2013111 (2013)","journal-title":"AI Mag."},{"key":"44_CR14","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 Multi Agent Systems (AAMAS 2005), pp. 157\u2013164. ACM (2005)","DOI":"10.1145\/1082473.1082497"},{"issue":"1","key":"44_CR15","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J Lloyd","year":"1986","unstructured":"Lloyd, J., Topor, R.: A basis for deductive database systems II. J. Logic Program. 3(1), 55\u201367 (1986)","journal-title":"J. Logic Program."},{"key":"44_CR16","unstructured":"Love, N., Henrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General game playing: game description language specification. Technical report, Stanford Logic Group Computer Science Department Stanford University (2006)"},{"key":"44_CR17","unstructured":"Osawa, H.: Solving Hanabi: estimating hands by opponent\u2019s actions in cooperative game with incomplete information. In: AAAI Workshop: Computer Poker and Imperfect Information, pp. 37\u201343 (2015)"},{"key":"44_CR18","doi-asserted-by":"crossref","unstructured":"Schiffel, S., Thielscher, M.: Reasoning about general games described in GDL-II. In: AAAI, vol. 11, pp. 846\u2013851 (2011)","DOI":"10.1609\/aaai.v25i1.7944"},{"key":"44_CR19","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1613\/jair.4115","volume":"49","author":"S Schiffel","year":"2014","unstructured":"Schiffel, S., Thielscher, M.: Representing and reasoning about the rules of general games with imperfect information. JAIR 49, 171\u2013206 (2014)","journal-title":"JAIR"},{"key":"44_CR20","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-319-67468-1_7","volume-title":"BNAIC 2016: Artificial Intelligence","author":"MJH van den Bergh","year":"2017","unstructured":"van den Bergh, M.J.H., Hommelberg, A., Kosters, W.A., Spieksma, F.M.: Aspects of the cooperative card game Hanabi. In: Bosse, T., Bredeweg, B. (eds.) BNAIC 2016. CCIS, vol. 765, pp. 93\u2013105. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67468-1_7"},{"key":"44_CR21","unstructured":"Thielscher, M.: A formal description language for epistemic games. Technical report, UNSW-CSE-TR-201708, The University of New South Wales (2017)"},{"key":"44_CR22","doi-asserted-by":"crossref","unstructured":"Thielscher, M.: GDL-III: a description language for epistemic general game playing. In: Sierra, C. (ed.) IJCAI, pp. 1276\u20131282. AAAI Press, Melbourne, August 2017","DOI":"10.24963\/ijcai.2017\/177"},{"key":"44_CR23","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)","DOI":"10.1145\/1324249.1324285"},{"key":"44_CR24","doi-asserted-by":"crossref","unstructured":"Walton-Rivers, J., Williams, P.R., Bartle, R., Perez-Liebana, D., Lucas, S.M.: Evaluating and modelling Hanabi-playing agents. In: 2017 IEEE Congress on Evolutionary Computation (CEC), pp. 1382\u20131389. IEEE (2017)","DOI":"10.1109\/CEC.2017.7969465"},{"key":"44_CR25","doi-asserted-by":"crossref","unstructured":"Zhang, D., Thielscher, M.: A logic for reasoning about game strategies. In: AAAI, vol. 15, pp. 1671\u20131677 (2015)","DOI":"10.1609\/aaai.v29i1.9416"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2019: Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29908-8_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:24:08Z","timestamp":1709825048000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-29908-8_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030299071","9783030299088"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29908-8_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PRICAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pacific Rim International Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cuvu, Yanuka Island","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Fiji","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pricai2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.pricai.org\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}