Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou,China,september 16-19, 2018, Proceedings.