Dimitar P. Guelev, Catalin Dima. Epistemic ATL with Perfect Recall, Past and Strategy Contexts. In Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori, editors, Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Volume 7486 of Lecture Notes in Computer Science, pages 77-93, Springer, 2012. [doi]
Abstract is missing.