1. Algorithms for recursive delegation;Afanador;AI Communications,2019
2. J. Afanador, N. Oren, M.S. Baptista and M. Araujo, From eigentrust to a trust-measuring algorithm in the max-plus algebra, in: ECAI, Frontiers in Artificial Intelligence and Applications, Vol. 325, IOS Press, 2020, pp. 3–10.
3. Norm conflict identification in contracts;Aires;Artificial Intelligence and Law,2017
4. A. Albore, N. Alechina, P. Bertoli, C. Ghidini, B. Logan and L. Serafini, Model-checking memory requirements of resource-bounded reasoners, in: Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006), AAAI Press, 2006, pp. 213–218. ISBN 978-1-57735-279-2.
5. N. Alechina, P. Bertoli, C. Ghidini, M. Jago, B. Logan and L. Serafini, Verifying space and time requirements for resource-bounded agents, in: Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006), S. Edelkamp and A. Lomuscio, eds, 2006, pp. 16–30.