Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings (Lecture Notes in Computer Science (6736))

Annotation This book constitutes the refereed proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011, held in Montpellier, France, in June/July 2011. The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers address a wide range of logical and formal methods in computational linguistics such as type-theoretic grammars, dependency grammars, formal language theory, grammatical inference, minimalism, generation, and lexical and formal semantics Front Matter....Pages - Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework....Pages 1-16 Using Logic in the Generation of Referring Expressions....Pages 17-32 Polarized Classical Non-associative Lambek Calculus and Formal Semantics....Pages 33-48 The Product-Free Lambek-Grishin Calculus Is NP-Complete....Pages 49-63 Copredication, Quantification and Frames....Pages 64-79 On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types....Pages 80-95 Closure Properties of Minimalist Derivation Tree Languages....Pages 96-111 Well-Nestedness Properly Subsumes Strict Derivational Minimalism....Pages 112-128 Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages....Pages 129-144 Do Dialogues Have Content?....Pages 145-158 Contextual Analysis of Word Meanings in Type-Theoretical Semantics....Pages 159-174 Logic Programming of the Displacement Calculus....Pages 175-189 Conditional Logic C b and Its Tableau System....Pages 190-204 Are (Linguists’) Propositions (Topos) Propositions?....Pages 205-218 Event in Compositional Dynamic Semantics....Pages 219-234 Using Tree Transducers for Grammatical Inference....Pages 235-250 Distributional Learning of Abstract Categorial Grammars....Pages 251-266 Some Generalised Comparative Determiners....Pages 267-281 Back Matter....Pages - Constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012