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. Lecture Notes in Computer Science 1328 Springer 1997, ISBN 3-540-63700-1

@proceedings{DBLP:conf/lacl/1996,
  editor    = {Christian Retor{\'e}},
  title     = {Logical Aspects of Computational Linguistics, First International
               Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected
               Papers},
  booktitle = {LACL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1328},
  year      = {1997},
  isbn      = {3-540-63700-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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
Josep M. Merenciano, Glyn Morrill:
Generation as Deduction on Labelled Proof Nets. 310-328
Jens Michaelis, Marcus Kracht:
Semilinearity as a Syntactic Invariant. 329-345
Stefan Riezler:
Quantitative Constraint Logic Programming for Weighted Grammar Applications. 346-365
James Rogers:
Strict LT₂ : 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

Last update Tue Feb 14 04:06:55 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page