This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997.
The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type-directed natural language processing, proof-theoretic aspects, concatenation logics, and mathematical languages.
Author(s): J. Lambek (auth.), Alain Lecomte, François Lamarche, Guy Perrier (eds.)
Series: Lecture Notes in Computer Science 1582 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999
Language: English
Pages: 255
Tags: Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages
Type Grammar Revisited....Pages 1-27
Optimal Parameters....Pages 28-53
Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars....Pages 54-69
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing....Pages 70-91
Derivational and Representational Views of Minimalist Transformational Grammar....Pages 92-111
The MSO Logic-Automaton Connection in Linguistics....Pages 112-131
The Logic of Tune A Proof-Theoretic Analysis of Intonation....Pages 132-159
A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies....Pages 160-179
Underspecification in Type-Logical Grammars....Pages 180-199
On Fibring Feature Logics with Concatenation Logics....Pages 200-211
An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms....Pages 212-230
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language....Pages 231-250
