{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T06:02:55Z","timestamp":1770703375828,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540307372","type":"print"},{"value":"9783540316466","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11595014_51","type":"book-chapter","created":{"date-parts":[[2005,11,28]],"date-time":"2005-11-28T07:57:17Z","timestamp":1133164637000},"page":"512-523","source":"Crossref","is-referenced-by-count":16,"title":["Intentions and Strategies in Game-Like Scenarios"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"51_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, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"issue":"1","key":"51_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/1467-8586.00138","volume":"54","author":"A. Baltag","year":"2002","unstructured":"Baltag, A.: A logic for suspicious players. Bulletin of Economic Research\u00a054(1), 1\u201346 (2002)","journal-title":"Bulletin of Economic Research"},{"key":"51_CR3","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A.L. Blum","year":"1997","unstructured":"Blum, A.L., Furst, M.L.: Fast planning through graph analysis. Artificial Intelligence\u00a090, 281\u2013300 (1997)","journal-title":"Artificial Intelligence"},{"key":"51_CR4","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1017\/S1357530902000704","volume":"7","author":"G. Bonanno","year":"2002","unstructured":"Bonanno, G.: Modal logic and game theory: Two alternative approaches. Risk Decision and Policy\u00a07, 309\u2013324 (2002)","journal-title":"Risk Decision and Policy"},{"issue":"2","key":"51_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1023\/B:SYNT.0000024905.25386.3d","volume":"139","author":"G. Bonanno","year":"2004","unstructured":"Bonanno, G.: A characterization of von Neumann games in terms of memory. Synthese\u00a0139(2), 237\u2013256 (2004)","journal-title":"Synthese"},{"key":"51_CR6","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press (1987)"},{"key":"51_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"51_CR8","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"51_CR9","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Traverso, P.: Planning as model checking. In: ECP, pp. 1\u201320 (1999)","DOI":"10.1007\/10720246_1"},{"key":"51_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"2-4","key":"51_CR11","first-page":"281","volume":"57","author":"B.P. Harrenstein","year":"2003","unstructured":"Harrenstein, B.P., van der Hoek, W., Meyer, J.-J., Witteveen, C.: A modal characterization of Nash equilibrium. Fundamenta Informaticae\u00a057(2-4), 281\u2013321 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"51_CR12","volume-title":"A Course in Game Theory","author":"M. Osborne","year":"1994","unstructured":"Osborne, M., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"issue":"1","key":"51_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0004-3702(92)90104-6","volume":"57","author":"M. Pollack","year":"1992","unstructured":"Pollack, M.: The uses of plans. Artificial Intelligence\u00a057(1), 43\u201368 (1992)","journal-title":"Artificial Intelligence"},{"key":"51_CR14","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning KR 1991, pp. 473\u2013484 (1991)"},{"key":"51_CR15","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1017\/S0266267100004132","volume":"12","author":"R. Stalnaker","year":"1996","unstructured":"Stalnaker, R.: Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy\u00a012, 133\u2013163 (1996)","journal-title":"Economics and Philosophy"},{"issue":"4","key":"51_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J. Benthem van","year":"2001","unstructured":"van Benthem, J.: Games in dynamic epistemic logic. Bulletin of Economic Research\u00a053(4), 219\u2013248 (2001); Proceedings of LOFT-4","journal-title":"Bulletin of Economic Research"},{"key":"51_CR17","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of AAMAS 2005 (2005)","DOI":"10.1145\/1082473.1082497"},{"key":"51_CR18","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese (2005)","DOI":"10.1007\/s11229-006-9072-6"},{"key":"51_CR19","unstructured":"van Otterloo, S., Jonker, G.: On Epistemic Temporal Strategic Logic. In: Proceedings of LCMAS, pp. 35\u201345 (2004)"},{"key":"51_CR20","unstructured":"van Otterloo, S., van der Hoek, W., Wooldridge, M.: Preferences in game logics. In: Proceedings of AAMAS 2004 (2004)"},{"key":"51_CR21","volume-title":"An Introduction to Multi Agent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multi Agent Systems. John Wiley & Sons, Chichester (2002)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11595014_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:32:05Z","timestamp":1586572325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11595014_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540307372","9783540316466"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11595014_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}