1. Spirakis, P., Kameas, A., Nikoletseas, S. (eds.): Proc. International Workshop on Ambient Intelligence, June 2003. CTI Press, Santorini (2003)
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. In: Müller, J., Petta, P. (eds.) Proc. of the 4th International Symposium “From Agent Theory to Agent Implementation”, Vienna, Austria, April 13-16 (2004)
3. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Proc. of the 9th European Conference on Logics in Artificial Intelligence(Jelia04) (2004) (to appear)
4. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. of the European Conference on Artificial Intelligence, ECAI 2004 (2004) (to appear)
5. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)