绝缘
发表于 2025-3-30 11:18:39
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
恸哭
发表于 2025-3-30 13:26:30
http://reply.papertrans.cn/59/5882/588132/588132_52.png
主动
发表于 2025-3-30 18:06:21
http://reply.papertrans.cn/59/5882/588132/588132_53.png
PSA-velocity
发表于 2025-3-31 00:29:04
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
臭了生气
发表于 2025-3-31 01:34:08
http://reply.papertrans.cn/59/5882/588132/588132_55.png
itinerary
发表于 2025-3-31 08:56:42
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
不舒服
发表于 2025-3-31 12:18:09
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
发表于 2025-3-31 14:22:35
http://reply.papertrans.cn/59/5882/588132/588132_58.png
Endoscope
发表于 2025-3-31 20:14:52
http://reply.papertrans.cn/59/5882/588132/588132_59.png
搜寻
发表于 2025-3-31 22:12:46
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