Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers - Cate, Balder ten, 1979-; Zeevat, Henk, 1952- (Lecture notes in computer science. Lecture notes in artificial intelligence ;, 2007)