This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Infor...

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Con...