1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. In: Proc. of the European Meeting on Cybernetics and Systems Research, vol. II, pp. 570–575 (2004)
2. LNAI;M. Baldoni,2005
3. Benerecetti, M., Cimatti, A.: Symbolic model checking for multi-agent systems. In: Proc. of the International Workshop on Model Checking and AI, pp. 1–8 (2002)
4. Bentahar, J.: A pragmatic and semantic unified framework for agent communication. PhD Thesis, Laval University, Canada (May 2005)
5. Bentahar, J., Moulin, B., Chaib-draa, B.: A persuasion dialogue game based on commitments and arguments. In: Proc. of the International Workshop on Argumentation in Multi-Agent Systems, pp. 148–164 (2004)