{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T06:11:56Z","timestamp":1770703916662,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642328961","type":"print"},{"value":"9783642328978","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_7","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"77-93","source":"Crossref","is-referenced-by-count":5,"title":["Epistemic ATL with Perfect Recall, Past and Strategy Contexts"],"prefix":"10.1007","author":[{"given":"Dimitar P.","family":"Guelev","sequence":"first","affiliation":[]},{"given":"Catalin","family":"Dima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"#cr-split#-7_CR1.1","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W.: Strategic Commitment and Release in Logics for Multi-Agent Systems (Extended Abstract). Technical report IfI-08-01, TU Clausthal (May 2008)"},{"key":"#cr-split#-7_CR1.2","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W.: Strategic Commitment and Release in Logics for Multi-Agent Systems (Extended Abstract). In: Bonanno, G., L\u00f6we, B., van der Hoek, W. (eds.) Logic and the Foundations of Game and Decision Theory. LNCS, vol.\u00a06006, Springer, Heidelberg (2010)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time Temporal Logic. In: Proceedings of FCS 1997, pp. 100\u2013109 (1997)","DOI":"10.1109\/SFCS.1997.646098"},{"issue":"5","key":"7_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049(5), 1\u201342 (2002)","journal-title":"Journal of the ACM"},{"key":"7_CR4","unstructured":"Asarin, E.: EQINOCS Research Project ANR 11 BS02 004 03, http:\/\/www.liafa.univ-paris-diderot.fr\/~eqinocs\/"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-92687-0_7","volume-title":"Logical Foundations of Computer Science","author":"T. Brihaye","year":"2008","unstructured":"Brihaye, T., Da Costa, A., Laroussinie, F., Markey, N.: ATL with Strategy Contexts and Bounded Memory. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.\u00a05407, pp. 92\u2013106. Springer, Heidelberg (2008)"},{"issue":"6","key":"7_CR6","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"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"1-3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"V. Goranko","year":"2006","unstructured":"Goranko, V., van Drimmelen, G.: Decidability and Complete Axiomatization of the Alternating-time Temporal Logic. Theoretical Computer Science\u00a0353(1-3), 93\u2013117 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"7_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.3166\/jancl.21.93-131","volume":"21","author":"D.P. Guelev","year":"2011","unstructured":"Guelev, D.P., Dima, C., Enea, C.: An Alternating-time Temporal Logic with Knowledge, Perfect Recall and Past: Axiomatisation and Model-checking. Journal of Applied Non-Classical Logics\u00a021(1), 93\u2013131 (2011)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J. Halpern","year":"2004","unstructured":"Halpern, J., van der Meyden, R., Vardi, M.: Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM Journal on Computing\u00a033(3), 674\u2013703 (2004)","journal-title":"SIAM Journal on Computing"},{"issue":"2-3","key":"7_CR11","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"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/jigpal\/8.1.55","volume":"8","author":"O. Lichtenstein","year":"2000","unstructured":"Lichtenstein, O., Pnueli, A.: Propositional temporal logics: decidability and completeness. Logic Journal of the IGPL\u00a08(1), 55\u201385 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Raimondi, F.: Model checking knowledge, strategies, and games in multi-agent systems. In: Proceedings of AAMAS 2006, pp. 161\u2013168. ACM Press (2006)","DOI":"10.1145\/1160633.1160660"},{"key":"7_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11961536_3","volume-title":"Declarative Agent Languages and Technologies IV","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol.\u00a04327, pp. 29\u201342. Springer, Heidelberg (2006)"},{"key":"7_CR15","unstructured":"Lopes, A.D.C., Laroussinie, F., Markey, N.: ATL with strategy contexts: Expressiveness and model checking. In: FSTTCS. LIPIcs, vol.\u00a08, pp. 120\u2013132 (2010)"},{"issue":"1","key":"7_CR16","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":"7_CR17","first-page":"82","volume":"85","author":"P.Y. Schobbens","year":"2004","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. ENTCS\u00a085(2), 82\u201393 (2004); Proceedings of LCMAS 2003","journal-title":"ENTCS"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, Knowledge and Time: Alternating-time Temporal Epistemic Logic and Its Applications. Studia Logica\u00a075, 125\u2013157 (2003)","journal-title":"Studia Logica"},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1026181001368","volume":"75","author":"R. Meyden van der","year":"2003","unstructured":"van der Meyden, R., Wong, K.-S.: Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Studia Logica\u00a075(1), 93\u2013123 (2003)","journal-title":"Studia Logica"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time Temporal Logic with Explicit Strategies. In: Samet, D. (ed.) TARK, pp. 269\u2013278. ACM Press (2007)","DOI":"10.1145\/1324249.1324285"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-642-23217-6_31","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"F. Wang","year":"2011","unstructured":"Wang, F., Huang, C.-H., Yu, F.: A Temporal Logic for the Interaction of Strategies. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011 \u2013 Concurrency Theory. LNCS, vol.\u00a06901, pp. 466\u2013481. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32897-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T21:01:29Z","timestamp":1743973289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}