[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 <subtitle> <abstract> 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. </pre> <p></p> <img src="_files/line.gif" width="100%" height="5"><p> © <a href="http://www.elsevier.com/gej-ng/31/29/23/show/.global/copyright.htt">Copyright</a> 2003, Elsevier Science, All rights reserved. </p> <img src="_files/line.gif" width="100%" height="5"><p> <p> © <a HREF=/gej-ng/31/29/23/show/.global/copyright.htt>Copyright</a> 2003, Elsevier Science, All rights reserved. </body> </html>