T. Agotnes, Action and Knowledge in Alternating-Time Temporal Logic, Synthese, vol.75, issue.4, pp.375-407, 2006.
DOI : 10.1007/s11229-005-3875-8

R. Alur, R. Henzinger, and O. Kupferman, Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.
DOI : 10.1145/585265.585270
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5461

V. Belle and G. Lakemeyer, Reasoning about imperfect information games in the epistemic situation calculus, Proceedings of AAAI 2010, 2010.

S. Borgo, Coalitions in action logic, Proceedings of IJCAI 2007, pp.1822-1827, 2007.

T. Brihaye, A. Da-costa, F. Laroussinie, and N. Markey, ATL with Strategy Contexts and Bounded Memory, LFCS 2009, pp.92-106, 2008.
DOI : 10.1007/3-540-59042-0_57
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.2173

K. Chatterjee, T. A. Henzinger, and N. Piterman, Strategy logic, Information and Computation, vol.208, issue.6, pp.677-693, 2010.
DOI : 10.1016/j.ic.2009.07.004

H. Van-ditmarsch, A. Herzig, and T. De-lima, From Situation Calculus to Dynamic Epistemic Logic, Journal of Logic and Computation, vol.21, issue.2, pp.179-204, 2011.
DOI : 10.1093/logcom/exq024
URL : https://hal.archives-ouvertes.fr/hal-00868361

E. A. Emerson, Temporal and Modal Logic, pp.995-1072, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

M. Gelfond and V. Lifschitz, Representing action and change by logic programs, The Journal of Logic Programming, vol.17, issue.2-4, pp.301-321, 1993.
DOI : 10.1016/0743-1066(93)90035-F
URL : http://doi.org/10.1016/0743-1066(93)90035-f

J. Gerbrandy, Logics of propositional control, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.193-200, 2006.
DOI : 10.1145/1160633.1160664

D. Giacomo, G. Lespérance, Y. Pearce, and A. R. , Situation calculus based programs for representing and reasoning about game structures, Proceedings of KR 2010, 2010.

V. Goranko and G. Van-drimmelen, Complete axiomatization and decidability of Alternating-time temporal logic, Theoretical Computer Science, vol.353, issue.1-3, pp.93-117, 2006.
DOI : 10.1016/j.tcs.2005.07.043

A. Herzig and E. Lorini, A Dynamic Logic of Agency I: STIT, Capabilities and Powers, Journal of Logic, Language and Information, vol.75, issue.1-2, pp.89-121, 2010.
DOI : 10.1007/s10849-009-9105-x

N. Kartha and V. Lifschitz, A simple formalizations of actions using circumscription, Proceedings of IJCAI 1995, pp.1970-1975, 1995.

M. Lange and M. Latte, A CTL-Based Logic for Program Abstractions, WoLLIC 2010, pp.19-33, 2010.
DOI : 10.1007/978-3-642-13824-9_2

E. Lorini, N. Troquard, A. Herzig, and J. Broersen, Grounding power on actions and mental attitudes, Logic Journal of IGPL, vol.21, issue.3, pp.311-331, 2013.
DOI : 10.1093/jigpal/jzr039
URL : https://hal.archives-ouvertes.fr/hal-01153715

F. Mogavero, A. Murano, and M. Y. Vardi, Reasoning about strategies, Proceedings of FSTTCS 2010, pp.133-144, 2010.

R. Reiter, Natural actions, concurrency and continuous time in the situation calculus, Proceedings of KR 1996, pp.2-13, 1996.

R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, 2001.

M. Shanahan, Solving the frame problem: a mathematical investigation of the common sense law of inertia, 1997.

M. Thielscher, Representing the knowledge of a robot, Proceedings of KR 2000, pp.109-120, 2000.

M. Thielscher, Reasoning Robots -The Art and Science of Programming Robotic Agents, Applied Logic, issue.33, 2005.

N. Troquard and D. Walther, On Satisfiability in ATL with Strategy Contexts, JELIA 2012, pp.398-410, 2012.
DOI : 10.1002/malq.19750210118

W. Van-der-hoek, W. Jamroga, and M. Wooldridge, A logic for strategic reasoning, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.157-164, 2005.
DOI : 10.1145/1082473.1082497

W. Van-der-hoek and M. Wooldridge, Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications, Studia Logica, vol.75, issue.1, pp.125-157, 2003.
DOI : 10.1023/A:1026185103185

W. Van-der-hoek and M. Wooldridge, On the logic of cooperation and propositional control, Artificial Intelligence, vol.164, issue.1-2, pp.81-119, 2005.
DOI : 10.1016/j.artint.2005.01.003

D. Walther, ATEL with common and distributed knowledge is exptime-complete, pp.4-4, 2005.

D. Walther, W. Van-der-hoek, and M. Wooldridge, Alternating-time temporal logic with explicit strategies, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.269-278, 2007.
DOI : 10.1145/1324249.1324285

D. Walther, C. Lutz, F. Wolter, and M. Wooldridge, ATL Satisfiability is Indeed EXPTIME-complete, Journal of Logic and Computation, vol.16, issue.6, pp.765-787, 2006.
DOI : 10.1093/logcom/exl009
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.4901