Logical Aspects of Computational Linguistics: Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected PapersAlain Lecomte, Francois Lamarche, Guy Perrier 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. |
Contents
Type Grammar Revisited | 1 |
Optimal Parameters | 28 |
Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars | 54 |
Linguistic Philosophical and Pragmatic Aspects of TypeDirected Natural Language Parsing | 70 |
Derivational and Representational Views of Minimalist Transformational Grammar | 92 |
The MSO LogicAutomaton Connection in Linguistics | 112 |
The Logic of Tune A ProofTheoretic Analysis of Intonation | 132 |
A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies | 160 |
Underspecification in TypeLogical Grammars | 180 |
On Fibring Feature Logics with Concatenation Logics | 200 |
An Operational Model for Parsing Definite Clause Grammars with Infinite Terms | 212 |
Mathematical Vernacular and Conceptual WellFormedness in Mathematical Language | 231 |
| 251 | |
Common terms and phrases
ADJs application assigned automata automaton basic BL(G c-command categorial grammars chain positions checking Chomsky clause combination Computer concepts constraint construction context context-free corresponding defined definition denote derivation elements encoding English equivalent example expressions feature structures finite formal formula function functor category head HPSG implementation information packaging interpretation intonational Lambek calculus Lemma lexical items lexicon linear logic linguistic mathematical meaning monoid Moortgat morphosyntactic natural language nodes notion noun phrases NP NP npwh operators parse tree PF(V phrasal phrase structure pitch accent pnposs post-N pre-N predicate present problem product-free programming proof properties prosodic protogroup relation representation rules semantic sentence sequence string syntactic syntactic category syntax T-markers theorem tion transitive transitive verb TTree type theory underspecification unification variables verb well-formedness word X-Bar theory