1. Adjiman P., Chatalic P., Goasdoué F., Rousset M.-C., Simon L. (2004) Distributed reasoning in a peer-to-peer setting. In: Mántaras R.L., Saitta L. (eds) Proceedings of the 16th European conference on artificial intelligence, ECAI’2004, including prestigious applicants of intelligent systems, PAIS 2004, Valencia. IOS Press, Spain, pp 945–946
2. Ågotnes T., Alechina N. (2006) Knowing minimum/maximum n formulae. In: Brewka G., Coradeschi S., Perini A., Traverso P. (eds) Proceedings of the 17th European conference on artificial intelligence (ECAI 2006). IOS Press, Riva del Garda, Italy, pp 317–321
3. Ågotnes, T., & Walicki, M. (2005). Strongly complete axiomatizations of knowing atmost in standard syntactic assignments. In F. Toni & P. Torroni (Eds.), Pre-proceedings of the 6th international workshop on computational logic in multi-agent systems (CLIMA VI), City University, London, UK.
4. Albore, A., Alechina, N., Bertoli, P., Ghidini, C., Logan, B., & Serafini, L. (2006). Model-checking memory requirements of resource-bounded reasoners. In Proceedings of the twenty-first national conference on artificial intelligence (AAAI 2006) (pp. 213–218). Melano Park, CA: AAAI Press.
5. Alechina N., Bertoli P., Ghidini C., Jago M., Logan B., Serafini L. (2006a) Verifying space and time requirements for resource-bounded agents. In: Stone P., Weiss G. (eds) Proceedings of the fifth international joint conference on autonomous agents and multi-agent systems (AAMAS 2006). IEEE Press, Hakodate, Japan, pp 217–219