1. Alechina, N., Dastani, M., Logan, B., Meyer, J.-J.C.: A Logic of Agent Programs. In: Proc. of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007), pp. 795–800. AAAI Press, Menlo Park (2007)
2. Apt, K.R., Bol, R.: Logic programming and negation: a survey. J. of Logic Programming 19/20 (1994)
3. Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a platform for collaborating agents. IEEE Intell. Systems 14(2) (1999)
4. Baldoni, M., Baroglio, C., Martelli, M., Patti, V.: Reasoning about logic-based agent interaction protocols. In: Proc. of the Italian Conf. on Comp. Logic, CILC 2004 (2004)
5. Lecture Notes in Artificial Intelligence;M. Baldoni,2005