{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:31Z","timestamp":1725512131934},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699118"},{"type":"electronic","value":"9783540699125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69912-5_31","type":"book-chapter","created":{"date-parts":[[2007,8,20]],"date-time":"2007-08-20T21:30:41Z","timestamp":1187645441000},"page":"419-433","source":"Crossref","is-referenced-by-count":0,"title":["On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","first-page":"100","volume-title":"Proceedings of FOCS","author":"R. Alur","year":"1997","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. In: Proceedings of FOCS, pp. 100\u2013109. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"31_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. Journal of the ACM\u00a049, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"issue":"2","key":"31_CR3","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"V. Goranko","year":"2004","unstructured":"Goranko, V., Jamroga, W.: Comparing semantics of logics for multi-agent systems. Synthese\u00a0139(2), 241\u2013280 (2004)","journal-title":"Synthese"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Herzig, A., Troquard, N.: Knowing how to play: Uniform choices in logics of agency. In: Proceedings of AAMAS\u201906, to appear (2006)","DOI":"10.1145\/1160633.1160666"},{"key":"31_CR5","unstructured":"Jamroga, W.: Some remarks on alternating temporal epistemic logic. In: Proceedings of FAMAS 2003, pp. 133\u2013140 (2003)"},{"issue":"2-3","key":"31_CR6","first-page":"185","volume":"63","author":"W. Jamroga","year":"2004","unstructured":"Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae\u00a063(2-3), 185\u2013219 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"31_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/11595014_51","volume-title":"Progress in Artificial Intelligence","author":"W. Jamroga","year":"2005","unstructured":"Jamroga, W., van der Hoek, W., Wooldridge, M.: Intentions and strategies in game-like scenarios. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 512\u2013523. Springer, Heidelberg (2005)"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Jamroga, W., \u00c5gotnes, T.: Constructive knowledge: What agents can achieve under incomplete information. Technical Report IfI-05-10, Clausthal University of Technology (2005)","DOI":"10.1145\/1160633.1160672"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Jamroga, W., \u00c5gotnes, T.: What agents can achieve under incomplete information. In: Proceedings of AAMAS\u201906 (2006)","DOI":"10.1145\/1160633.1160672"},{"key":"31_CR10","unstructured":"Jonker, G.: Feasible strategies in Alternating-time Temporal Epistemic Logic. Master thesis, University of Utrecht (2003)"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science\u00a085(2) (2004)","DOI":"10.1016\/S1571-0661(05)82604-0"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Proceedings of AAMAS-02, pp. 1167\u20131174 (2002)","DOI":"10.1145\/545056.545095"},{"key":"31_CR13","first-page":"77","volume":"126","author":"S. Otterloo van","year":"2005","unstructured":"van Otterloo, S., Jonker, G.: On Epistemic Temporal Strategic Logic. ENTCS (Proceedings of LCMAS\u201904)\u00a0126, 77\u201392 (2005)","journal-title":"ENTCS"}],"container-title":["Lecture Notes in Computer Science","KI 2006: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69912-5_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T21:12:24Z","timestamp":1684012344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69912-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540699118","9783540699125"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69912-5_31","relation":{},"subject":[]}}