Titlebook: Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016); 9th International Co Maxime Amblard,Philippe de Gro

绝缘

Categorial Dependency Grammars with Iterated Sequences,rs (CDG) do not allow this construction because iterative dependency types only introduce the iterations of the same dependency. An extension of CDG is defined here that introduces a new construction for repeatable sequences of one or several dependency names. The learnability properties of the exte

恸哭

主动

PSA-velocity

Proof Assistants for Natural Language Semantics, that these provide useful platforms for NL semantics and reasoning on the one hand, and allow experiments to be performed on various frameworks and new theories, on the other. In particular, we show how to use Coq, a prominent type theory based proof assistant, to encode type theoretical semantics

臭了生气

itinerary

A Compositional Distributional Inclusion Hypothesis,l of meaning. In this paper, we extend this hypothesis to the realm of compositional distributional semantics, where meanings of phrases and sentences are computed by composing their word vectors. We present a theoretical analysis for how feature inclusion is interpreted under each composition opera

不舒服

Type Reconstruction for ,-DRT Applied to Pronoun Resolution,ith the aim of type-checking natural language texts in the same vein as is familiar from type-checking programs, we propose . .-DRT with automatic type reconstruction. We show a principal types theorem for .-DRT and how type reconstruction can be used to make pronoun resolution type-correct, i.e. th

precede

Endoscope

搜寻

On the Logic of Expansion in Natural Language,ion logic. Newly, we give Curry-Howard labelling for the iteration modality, in terms of lists, and we prove soundness and completeness of displacement calculus with additives and this modality, for phase semantics. This result has as a corollary semantic Cut-elimination. We review linguistic applic