Advances in artificial intelligence --IBERAMIA 2012 : 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings.