1. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proc. of KR&R 1991, pp. 473–484. Morgan Kaufmann, San Francisco (1991)
2. Singh, M.: Agent communication language: rethinking the principles. IEEE Computer, 40–47 (1998)
3. Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Logic based semantics for agent communication languages. In: Proc. of the Workshop of Formal Approaches to Multi-Agent Systems (FAMAS 2003), Warsaw (2003)
4. Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In: Marik, V., Muller, J., Pechoucek, M. (eds.) Proc. of the 3rd International/Central and Eastern European Conference on Multi-Agent Systems, Prague, Czech Republic. LNCS (2003) (to appear)
5. SOCS: A Computational Logic Model for the Description, Analysis and Verification of Global and Open Societies of Heterogeneous Computees. IST–2001–32530. Web page (2001), http://lia.deis.unibo.it/research/socs