[Home Page of ENTCS] [Volume/Issue List of ENTCS] [Author Index of ENTCS]
85.2 1 Pierre-Yves Schobbens Alternating-time logic with imperfect recall 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.
© Copyright 2003, Elsevier Science, All rights reserved.
© Copyright 2003, Elsevier Science, All rights reserved.