Title: Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)