1. LACL 1996: Nancy, France
Christian Retoré (Ed.): Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers. Springer 1997 Lecture Notes in Computer Science 1328 ISBN 3-540-63700-1- Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie: Logical Aspects of Computational Linguistics: An Introduction. 1-20
Invited Papers
- Aravind K. Joshi, Seth Kulick: Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints. 21-42
- Marcus Kracht: Inessential Features. 43-62
- Dale Miller: Linear Logic as Logic Programming: An Abstract. 63-67
- Edward P. Stabler: Derivational Minimalism. 68-95
Selected Papers
- V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles: Tree Adjoining Grammars in Noncommutative Linear Logic. 96-117
- Denis Béchet, Philippe de Groote: Constructing Different Phonological Bracketings from a Proof Net. 118-133
- Pascal Boldini: Vagueness and Type Theory. 134-148
- Yann Coscoy: A Natural Language Explanation for Formal Proofs. 149-167
- Martin Emms: Models for Polymorphic Lambek Calculus. 168-187
- Claire Gardent: Sloopy Identity. 188-207
- Stephen J. Hegner: A Family of Decidable Feature Logics which Support HPSG-Style Set and List Constructions. 208-227
- Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: Language Understanding: A Procedural Perspective. 228-247
- Paul John King, Kiril Ivanov Simov: The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged). 248-273
- Lucia H. B. Manara, Anne N. De Roeck: A Belief-Centered Treatment of Pragmatic Presupposition. 274-291
- Jacek Marciniec: Connected Sets of Types and Categorial Consequence. 292-309
- Stefan Riezler: Quantitative Constraint Logic Programming for Weighted Grammar Applications. 346-365
- James Rogers: Strict LT2 : Regular : : Local : Recognizable. 366-385
- Irene Schena: Pomset Logic and Variants in Natural Languages. 386-405
- Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk: Constraint Logic Programming for Computational Linguistics. 406-425
- Marek Szczerba: Representation Theorems for Residuated Groupoids. 426-434
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-09T210643 by the dblp team