Logical aspects of computational linguistics : second international conference, LACL '97, Nancy, France, September 22-24, 1997 : selected papers
Author(s)
Bibliographic Information
Logical aspects of computational linguistics : second international conference, LACL '97, Nancy, France, September 22-24, 1997 : selected papers
(Lecture notes in computer science, 1582 . Lecture notes in artificial intelligence)
Springer, c1999
Available at 39 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and index
Description and Table of Contents
Description
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.
Table of Contents
Invited papers.- Type Grammar Revisited.- Optimal Parameters.- Selected papers.- Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars.- Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing.- Derivational and Representational Views of Minimalist Transformational Grammar.- The MSO Logic-Automaton Connection in Linguistics.- The Logic of Tune A Proof-Theoretic Analysis of Intonation.- A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies.- Underspecification in Type-Logical Grammars.- On Fibring Feature Logics with Concatenation Logics.- An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms.- Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language.
by "Nielsen BookData"