Proceedings of 2018 International Conference on Mathematics and Artificial Intelligence