Artificial intelligence and symbolic computation : 12th International Conference, AISC 2014, Seville, Spain, december 11-13, 2014. Proceedings.