Advances in artificial intelligence – IBERAMIA 2012 : 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings - Pavon, Juan, editor (Springer-Verlag, 2012)