1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Log. 9(4) 440–454 (2008)
2. Alechina, N., Dastani, M., Logan, B., Meyer, J.: A logic of agent programs. In: Proc. 22nd American National Conference on Artificial Intelligence (AAAI), pp. 795–800. AAAI Press, Menlo Park (2007)
3. LNCS;J-J Alferes,2003
4. LNCS;R Alur,1991
5. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002)