TY - BOOK AU - Groote,Philippe AU - Morrill,Glyn AU - Retoré,Christian ED - SpringerLink (Online service) TI - Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540481997 AV - Q334-342 U1 - 006.3 23 PY - 2001/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Mathematical Logic and Formal Languages N1 - Invited Talks -- Structural Equations in Language Learning -- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks -- Contributed Papers -- A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique -- An Algebraic Approach to French Sentence Structure -- Deductive Parsing of Visual Languages -- Lambek Grammars Based on Pregroups -- An Algebraic Analysis of Clitic Pronouns in Italian -- Consistent Identification in the Limit of Any of the Classes k-Valued Is NP-hard -- Polarized Non-projective Dependency Grammars -- On Mixing Deduction and Substitution in Lambek Categorial Grammars -- A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations -- A Characterization of Minimalist Languages -- of Speech Tagging from a Logical Point of View -- Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars -- Recognizing Head Movement -- Combinators for Paraconsistent Attitudes -- Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences -- Atomicity of Some Categorially Polyvalent Modifiers UR - http://dx.doi.org/10.1007/3-540-48199-0 ER -