Logical Aspects of Computational Linguistics （计算语言学的逻辑问题）

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.
—proceedings （published in time for the respective conference）
—post-proceedings （consisting of thoroughly revised final full papers）
—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.

在线阅读本书

This book constitutes the refereed proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics, LACL 2001, held in Le Croisic, France, in June 2001.The 16 revised full papers presented together with two invited papers were carefully reviewed and selected for presentation. Among the topics covered are categorical grammars, dependency grammars, formal language theory, grammatical inference, hyperintensional semantics, minimalism, type-logical semantics, language learning, and natural language processing.

Invited Talks
Structural Equations in Language Learning
On the Distinction between ModelTheoretic 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 koValued 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
Part of Speech Tagging from a Logical Point of View
Transforming Linear Context-Free Rewriting Systems into MinimMist Grammars
Recognizing Head Movement
Combinators for Paraconsistent Attitudes
Comnbinins Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences
Atomicity of Some Categorially Polyvalent Modifiers
Author Index