Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings - Aranda-Corral, Gonzalo A.; Calmet, Jacques; Martín-Mateos, Francisco J. (Springer International Publishing : Imprint: Springer, 2014)