1. 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), AAAI Press, pp 213–218
2. Alechina N, Logan B (2002) Ascribing beliefs to resource bounded agents. In: Proceedings of the first international joint conference on autonomous agents and multi-agent systems (AAMAS 2002), vol 2. ACM Press, Bologna, pp 881–888
3. Alechina N, Logan B (2005) Verifying bounds on deliberation time in multi-agent systems. In: Gleizes MP, Kaminka G, Nowe A, Ossowski S, Tuyls K, Verbeeck K (eds) Proceedings of the third European workshop on multiagent systems (EUMAS’05). Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten, Brussels, Belgium, pp 25–34
4. Alechina N, Logan B (2007) Formal evaluation of agent architectures. In: Kaminka GA, Burghart CR (eds) Evaluating architectures for intelligence: papers from the 2007 AAAI workshop, AAAI Press, technical report WS-07-04, pp 1–4
5. Alechina N, Logan B (2009) A logic of situated resource-bounded agents. J Logic Lang Inf 18(1): 79–95.
http://dx.doi.org/10.1007/s10849-008-9073-6