Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings - Fleuriot, Jacques; Fleuriot, Jacques; Wang, Dongming; Wang, Dongming; Calmet, Jacques; Calmet, Jacques (Springer International Publishing : Imprint: Springer, 2018)