Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

This Book Constitutes The Strictly Refereed Post-conference Proceedings Of The First International Conference On Logical Aspects Of Computational Linguistics, Lacl '96, Held In Nancy, France In April 1996. The Volume Presents 18 Revised Full Papers Carefully Selected And Reviewed For Inclusion In The Book Together With Four Invited Contributions By Leading Authorities And An Introductory Survey With A Detailed Bibliography. The Papers Cover All Relevant Logical Aspects Of Computational Linguistics Like Logical Inference, Grammars, Logical Semantics, Natural Language Processing, Formal Proofs, Logic Programming, Type Theory, Etc. Logical Aspects Of Computational Linguistics: An Introduction -- Partial Proof Trees, Resource Sensitive Logics And Syntactic Constraints -- Inessential Features -- Linear Logic As Logic Programming: An Abstract -- Derivational Minimalism -- Tree Adjoining Grammars In Noncommutative Linear Logic -- Constructing Different Phonological Bracketings From A Proof Net -- Vagueness And Type Theory -- A Natural Language Explanation For Formal Proofs -- Models For Polymorphic Lambek Calculus -- Sloopy Identity -- A Family Of Decidable Feature Logics Which Support Hpsg-style Set And List Constructions -- Language Understanding: A Procedural Perspective -- The Automatic Deduction Of Classificatory Systems From Linguistic Theories (abridged) -- A Belief-centered Treatment Of Pragmatic Presupposition -- Connected Sets Of Types And Categorial Consequence -- Generation As Deduction On Labelled Proof Nets -- Semilinearity As A Syntactic Invariant -- Quantitative Constraint Logic Programming For Weighted Grammar Applications -- Strict Lt2 : Regular :: Local : Recognizable -- Pomset Logic And Variants In Natural Languages -- Constraint Logic Programming For Computational Linguistics -- Representation Theorems For Residuated Groupoids. Christian Retore (ed.). Includes Bibliographical References And Index. Logical aspects of computational linguistics: An introduction....Pages 1-20 Partial proof trees, resource sensitive logics and syntactic constraints....Pages 21-42 Inessential features....Pages 43-62 Linear logic as logic programming: An abstract....Pages 63-67 Derivational minimalism....Pages 68-95 Tree adjoining grammars in noncommutative linear logic....Pages 96-117 Constructing different phonological bracketings from a proof net....Pages 118-133 Vagueness and type theory....Pages 134-148 A natural language explanation for formal proofs....Pages 149-167 Models for polymorphic Lambek Calculus....Pages 168-187 Sloopy Identity....Pages 188-207 A family of decidable feature logics which support HPSG-style set and list constructions....Pages 208-227 Language understanding: A procedural perspective....Pages 228-247 The automatic deduction of classificatory systems from linguistic theories (abridged)....Pages 248-273 A belief-centered treatment of pragmatic presupposition....Pages 274-291 Connected sets of types and categorial consequence....Pages 292-309 Generation as deduction on labelled proof nets....Pages 310-328 Semilinearity as a syntactic invariant....Pages 329-345 Quantitative constraint logic programming for weighted grammar applications....Pages 346-365 Strict LT 2 : Regular :: Local : Recognizable....Pages 366-385 Pomset Logic and variants in natural languages....Pages 386-405 Constraint logic programming for computational linguistics....Pages 406-425 Representation theorems for residuated groupoids....Pages 426-434 Logical semantics of natural language is a diverse field that draws on many disciplines, including philosophical and mathematical logic, linguistics, computer science, and artificial intelligence.