enlist
发表于 2025-3-25 04:52:30
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588128.jpg
Culpable
发表于 2025-3-25 11:31:07
The Product-Free Lambek-Grishin Calculus Is NP-Complete,The Lambek-Grishin calculus . is the symmetric extension of the non-associative Lambek calculus .. In this paper we prove that the derivability problem for the product-free fragment of . is NP-complete, thus improving on Bransen (2010) where this is shown for . with product.
无效
发表于 2025-3-25 11:52:05
Contextual Analysis of Word Meanings in Type-Theoretical Semantics,ings of words may be represented in type-theoretical semantics, the formal semantics based on modern type theories. It is shown, in particular, that the framework of coercive subtyping provides various useful tools in the representation.
不公开
发表于 2025-3-25 18:17:13
http://reply.papertrans.cn/59/5882/588128/588128_24.png
linear
发表于 2025-3-25 23:55:16
http://reply.papertrans.cn/59/5882/588128/588128_25.png
Vasoconstrictor
发表于 2025-3-26 02:23:04
http://reply.papertrans.cn/59/5882/588128/588128_26.png
coddle
发表于 2025-3-26 05:28:05
http://reply.papertrans.cn/59/5882/588128/588128_27.png
雪上轻舟飞过
发表于 2025-3-26 11:26:10
Using Logic in the Generation of Referring Expressions,ogical languages in the output of the content determination phase (i.e., when the relevant features of the object to be referred are selected). Many different logics can be used for this and we argue that, for a particular application, the actual choice shall constitute a compromise between expressi
无力更进
发表于 2025-3-26 15:10:55
http://reply.papertrans.cn/59/5882/588128/588128_29.png
广告
发表于 2025-3-26 18:15:23
Copredication, Quantification and Frames,2,1]). We will suggest that using record types gives us a general account of dot types and also makes a connection between copredication and the use of hypothetical contexts in a record type theoretic analysis of dynamic generalized quantifiers. We propose a view of lexical innovation which draws bo