Titlebook: Logical Aspects of Computational Linguistics; 5th International Co Philippe Blache,Edward Stabler,Richard Moot Conference proceedings 2005

Indigence

Large Scale Semantic Construction for Tree Adjoining Grammarsantic construction. In this paper, we present a highly factorised way of implementing a syntax/semantic interface in TAG. We then show how the resulting resource can be used to perform semantic construction either during or after derivation.

難解

過(guò)分自信

Describing Lambda Terms in Context Unificationhe tree structure of lambda terms, and lambda binding constraints to specify variable binding. Parallelism constraints alone have the same expressiveness as context unification. In this paper, we show that lambda binding constraints can also be expressed in context unification when permitting tree regular constraints.

PRISE

Category Theoretical Semantics for Pregroup Grammars the intermediary parsing structures necessary for a semantic interpretation when pregroups are used in natural language processing. The construction of the free compact 2-category also provides another cut-free axiomatisation of compact bilinear logic.

Offset

Magnificent

Ventilator

Linguistic Facts as Predicates over Ranges of the Sentencepartial projection of a complete analysis. The formalism presented here is based upon Range Concatenation Grammars (hereafter RCG), and has been successfully implemented, thanks to a previously existing RCG parser and a syntactico-semantical grammar for French.

Tonometry

Conference proceedings 2005 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. .

FRONT

Arteriography