Logical Aspects of Computational Linguistics : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings

by Blache, Philippe; Stabler, Edward; Busquets, Joan; Moot, Richard

• ISBN13: 9783540257837
• ISBN10: 3540257837
• Format: Paperback
• Copyright: 2005-06-01
• Publisher: Springer Verlag

Summary

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.

Table of Contents

LACL
kappa-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages
Denis Béchet, Annie Foret	1	(17)
Dependency Structure Grammars
Denis Béchet, Alexander Dikovsky, Annie Foret	18	(17)
Towards a Computational Treatment of Binding Theory
Roberto Bonato	35	(16)
Translating Formal Software Specifications to Natural Language. A Grammar-Based Approach
David A. Burke, Kristofer Johannisson	51	(16)
On the Selective Lambek Calculus
Marcelo da S. Corrêa, E. Hermann Haeusler	67	(17)
Grammatical Development with XMG
Benoit Crabbé	84	(17)
Lambek-Calculus with General Elimination Rules and Continuation Semantics
Nissim Francez	101	(13)
A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars
Hans-Martin Gärtner, Jens Michaelis	114	(17)
Large Scale Semantic Construction for Tree Adjoining Grammars
Claire Gardent, Yannick Parmentier	131	(16)
A Compositional Approach Towards Semantic Representation and Construction of ARABIC
Bassani Haddad, Mustafa Yaseen	147	(15)
Strict Deterministic Aspects of Minimalist Grammars
John T. Hale, Edward P. Stabler	162	(15)
A Polynomial Time Extension of Parallel Multiple Context-Free Grammar
Peter Ljunglöf	177	(12)
Learnable Classes of General Combinatory Grammars
Erwan Moreau	189	(16)
On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information
Areski Nait Abdallah, Alain Lecomte	205	(16)
Describing Lambda Terms in Context Unification
Joachim Niehren, Mateu Villaret	221	(17)
Category Theoretical Semantics for Pregroup Grammars
Anne Preller	238	(17)
Feature Constraint Logic and Error Detection in ICALL Systems
Veit Reuer, Kai-Uwe Kühnberger	255	(16)
Linguistic Facts as Predicates over Ranges of the Sentence
Benoit Sagot	271	(16)
How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic
Djamé Seddah, Bertrand Gaiffe	287	(14)
When Categorial Grammars Meet Regular Grammatical Inference
Isabelle Tellier	301	(16)
The Expressive Power of Restricted Fragments of English
Allan Third	317	(13)
The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars
Ryo Yoshinaka, Makoto Kanazawa	330	(17)
More Algebras for Determiners
Richard Zuber	347	(16)
Author Index	363