標題: Titlebook: Logical Aspects of Computational Linguistics; 6th International Co Sylvain Pogodalla,Jean-Philippe Prost Conference proceedings 2011 Spring [打印本頁] 作者: FROM 時間: 2025-3-21 19:06
書目名稱Logical Aspects of Computational Linguistics影響因子(影響力)
書目名稱Logical Aspects of Computational Linguistics影響因子(影響力)學科排名
書目名稱Logical Aspects of Computational Linguistics網(wǎng)絡公開度
書目名稱Logical Aspects of Computational Linguistics網(wǎng)絡公開度學科排名
書目名稱Logical Aspects of Computational Linguistics被引頻次
書目名稱Logical Aspects of Computational Linguistics被引頻次學科排名
書目名稱Logical Aspects of Computational Linguistics年度引用
書目名稱Logical Aspects of Computational Linguistics年度引用學科排名
書目名稱Logical Aspects of Computational Linguistics讀者反饋
書目名稱Logical Aspects of Computational Linguistics讀者反饋學科排名
作者: 比喻好 時間: 2025-3-21 21:22 作者: MELON 時間: 2025-3-22 01:36
Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages, minimalist structures does not alter the strong generative capacity of the formalism. In addition, the addition to minimalist grammars of complexity filters is easily shown using a similar proof method to not change the class of derived tree languages.作者: prostate-gland 時間: 2025-3-22 06:59 作者: construct 時間: 2025-3-22 11:19 作者: aspersion 時間: 2025-3-22 14:13
Using Logic in the Generation of Referring Expressions,ransferred to GRE. Moreover, our approach is orthogonal to previous proposals and we illustrate this by generalizing well-known content-determination algorithms to make them parametric on the logic employed.作者: CIS 時間: 2025-3-22 18:17 作者: disrupt 時間: 2025-3-23 00:05 作者: Evocative 時間: 2025-3-23 03:49 作者: 不法行為 時間: 2025-3-23 08:04 作者: needle 時間: 2025-3-23 10:10
Event in Compositional Dynamic Semantics,t play different roles in meaning evaluation. Moreover, two sets of composition functions, for handling different discourse relations, are introduced. The paper first gives the necessary background and motivation for event and dynamic semantics, then the framework with detailed examples will be introduced.作者: Debrief 時間: 2025-3-23 15:41
Some Generalised Comparative Determiners,rdinary” determiners. However, they do obey some similar constraints, properly generalised. It is shown that verbal arguments obtained from such generalised determiners extend the expressive power of NLs since functions that they denote are not just case extensions of type 〈1〉 quantifiers used to interpret ”ordinary” determiner phrases.作者: MIR 時間: 2025-3-23 19:26 作者: 碎片 時間: 2025-3-23 23:57 作者: Aura231 時間: 2025-3-24 02:42 作者: perpetual 時間: 2025-3-24 07:55 作者: 硬化 時間: 2025-3-24 14:14 作者: STELL 時間: 2025-3-24 16:19 作者: phase-2-enzyme 時間: 2025-3-24 21:41
https://doi.org/10.1007/978-3-642-22221-4context analysis; dynanic semantics; formal semantics; grammar systems; language engineering; logical lan作者: llibretto 時間: 2025-3-24 23:22 作者: enlist 時間: 2025-3-25 04:52
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588128.jpg作者: Culpable 時間: 2025-3-25 11:31
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
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 作者: linear 時間: 2025-3-25 23:55 作者: Vasoconstrictor 時間: 2025-3-26 02:23 作者: coddle 時間: 2025-3-26 05:28 作者: 雪上輕舟飛過 時間: 2025-3-26 11:26
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 作者: 廣告 時間: 2025-3-26 18:15
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作者: 缺陷 時間: 2025-3-26 22:08
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types,epeatable dependencies. For these grammars, it is known that they are not learnable from dependency structures..We propose two different ways of modelling the repeatable dependencies through iterated types and the two corresponding families of CDG which cannot distinguish between the dependencies re作者: cartilage 時間: 2025-3-27 02:02
Closure Properties of Minimalist Derivation Tree Languages, regular tree languages [4, 5]. Using a variation of a proof technique devised by Thatcher [17], I show that even though closure under intersection does not obtain, it holds for every MG and regular tree language that their intersection is identical to the derivation tree language of some MG . categ作者: GULP 時間: 2025-3-27 08:43
Well-Nestedness Properly Subsumes Strict Derivational Minimalism,le string languages as .. Adding another LC to MGs, the ., results in a proper subclass of derivable languages. It is rather straightforward to see this class is embedded within the class of languages derivable by some . . .. In this paper we show that the embedding is even proper. We partially do s作者: Cholecystokinin 時間: 2025-3-27 10:50
Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages,ed. Here it is shown that both the derivation tree languages and derived tree languages of minimalist grammars are closed under intersection with regular tree languages. This allows us to conclude that taking into account the possibility of ‘semantic crashes’ in the standard approach to interpreting作者: Ophthalmologist 時間: 2025-3-27 16:27 作者: constitutional 時間: 2025-3-27 21:26
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.作者: Critical 時間: 2025-3-28 00:04
Logic Programming of the Displacement Calculus,ccommodated alongside continuity in a logic which is free of structural rules and which enjoys Cut-elimination, the subformula property, decidability, and the finite reading property. The calculus deploys a new kind of sequent calculus which we call hypersequent calculus in which types and configura作者: esculent 時間: 2025-3-28 03:20
Conditional Logic ,, and Its Tableau System, has been pointed out in the literature that empirical problems plague all of the previously proposed conditional logics. Moreover, . . and . . are defined by imposing certain restrictions on their Kripke frames, and there exist no corresponding proof systems..In order to solve these problems, we pr作者: 沙發(fā) 時間: 2025-3-28 09:59 作者: myalgia 時間: 2025-3-28 13:35
Event in Compositional Dynamic Semantics,hetorical relations are embedded in the resulting interpretation of the framework. We assume discourse and sentence are distinct semantic objects, that play different roles in meaning evaluation. Moreover, two sets of composition functions, for handling different discourse relations, are introduced.作者: 通情達理 時間: 2025-3-28 18:29 作者: 單調(diào)女 時間: 2025-3-28 21:51
Distributional Learning of Abstract Categorial Grammars,multiple context-free languages. This paper gives a comprehensive view of distributional learning of “context-free” formalisms (roughly in the sense of Courcelle 1987) in terms of abstract categorial grammars, in which existing “context-free” formalisms can be encoded.作者: 牲畜欄 時間: 2025-3-29 01:04
Some Generalised Comparative Determiners,denote functions which take sets and a binary relation as argument and give a set as result. These functions are thus different from denotations of ”ordinary” determiners. However, they do obey some similar constraints, properly generalised. It is shown that verbal arguments obtained from such gener作者: 沒有希望 時間: 2025-3-29 03:11 作者: ALLEY 時間: 2025-3-29 10:39 作者: TATE 時間: 2025-3-29 13:44
Carlos Areces,Santiago Figueira,Daniel Gorínigsten KM- und BI-Begriffen.Unentbehrliche Liste der relevanWettbewerbsvorteile werden in Zukunft nur noch die Unternehmen erlangen, denen es gelingt, Informationen in Wissen zu verwandeln. Die zwei Welten Business Intelligence und Knowledge Management wachsen vor diesem Hintergrund zusammen. Der He作者: mortuary 時間: 2025-3-29 16:15
Arno Bastenhofigsten KM- und BI-Begriffen.Unentbehrliche Liste der relevanWettbewerbsvorteile werden in Zukunft nur noch die Unternehmen erlangen, denen es gelingt, Informationen in Wissen zu verwandeln. Die zwei Welten Business Intelligence und Knowledge Management wachsen vor diesem Hintergrund zusammen. Der He作者: 痛苦一生 時間: 2025-3-29 22:50 作者: 心痛 時間: 2025-3-30 00:33
Robin Cooperts. The chapter considers not only design but also the use of such maps including but not limited to facilitation of learning; eliciting, capturing, archiving and using expert knowledge; planning instruction; assessment of deep understandings; research planning; collaborative knowledge modelling; cr作者: AVOID 時間: 2025-3-30 07:10 作者: ERUPT 時間: 2025-3-30 11:24
Thomas Grafmanagement strategies, the proposed model supports codification and personalisation, exploitation and exploration. In particular, it incorporates the ability to capture and organise explicit knowledge repositories, tools for knowledge discovery and visualisation, support for tacit knowledge sharing 作者: Allodynia 時間: 2025-3-30 12:31 作者: CHASM 時間: 2025-3-30 18:03 作者: 奇怪 時間: 2025-3-30 22:17
Staffan Larsson build a culture of safety and resilience at all levels. The collection, compilation and dissemination of relevant information and knowledge on disaster risks and to cope with such risks are critical to inform and educate individuals as a basis on which to establish a culture of disaster prevention 作者: 向下 時間: 2025-3-31 03:40
Zhaohui Luoion activities of firms embedded in a region’s innovation system on that region’s competitive advantage over time. This model provides the precursor to simulation and empirical research that may refine and integrate disparate conceptions of the dynamics of regional advantage. Perspectives of spatial作者: Polydipsia 時間: 2025-3-31 05:18 作者: 使堅硬 時間: 2025-3-31 11:43 作者: 逃避現(xiàn)實 時間: 2025-3-31 15:44
Carl Pollarde enhancement of competitiveness in enterprises. TW activities are able to detect opportunities and threats at an early stage and facilitate the information in to decide and carry out the appropriate strategies. The base of TW is the process of search, recovery, storage and treatment of information.
