Schobbens, Pierre-Yves Alternating-time logic with imperfect recall. (English) Zbl 1270.68287 van der Hoek, Wiebe (ed.) et al., LCMAS 2003. Proceedings of the first workshop on logic and communication in multi-agent systems, Eindhoven, The Netherlands, June 29, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 85, No. 2, 82-93 (2004). Summary: We study here a variant of the alternating-time temporal logic (ATL) where each agent has a given memory. We show that it is an interesting compromise, rather realistic but with a reasonable complexity. In contrast, most models with perfect recall and imperfect information have an undecidable model-checking problem.For the entire collection see [Zbl 1271.68064]. Cited in 27 Documents MSC: 68T27 Logic in artificial intelligence 03B44 Temporal logic 68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) 68Q60 Specification and verification (program logics, model checking, etc.) 68T42 Agent technology and artificial intelligence PDFBibTeX XMLCite \textit{P.-Y. Schobbens}, Electron. Notes Theor. Comput. Sci. 85, No. 2, 82--93 (2004; Zbl 1270.68287) Full Text: Link