標(biāo)題: Titlebook: Logic, Language, and Computation; 11th International T Helle Hvid Hansen,Sarah E. Murray,Henk Zeevat Conference proceedings 2017 Springer-V [打印本頁(yè)] 作者: Stimulant 時(shí)間: 2025-3-21 19:19
書目名稱Logic, Language, and Computation影響因子(影響力)
書目名稱Logic, Language, and Computation影響因子(影響力)學(xué)科排名
書目名稱Logic, Language, and Computation網(wǎng)絡(luò)公開(kāi)度
書目名稱Logic, Language, and Computation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Logic, Language, and Computation被引頻次
書目名稱Logic, Language, and Computation被引頻次學(xué)科排名
書目名稱Logic, Language, and Computation年度引用
書目名稱Logic, Language, and Computation年度引用學(xué)科排名
書目名稱Logic, Language, and Computation讀者反饋
書目名稱Logic, Language, and Computation讀者反饋學(xué)科排名
作者: 增強(qiáng) 時(shí)間: 2025-3-21 23:44
Towards Verb Modification in Framesure in various ways. In this paper, we map out the different grammatical constructions of the German verb . (usually, though loosely, translated as ‘hit’; also ‘beat’, ‘strike’) and their restrictions on agentivity and the force component. Using modification by pure manner adverbs as a tool to test 作者: ARK 時(shí)間: 2025-3-22 01:48
Whence Long-Distance Indefinite Readings? Solving Chierchia’s Puzzle with Dependent Typesinites seems to be unsettled in the literature [.]. In this paper we show how Chierchia’s puzzle of long-distance indefinites can be handled in semantics with dependent types. The proposal builds on our formal system combining generalized quantifiers [., ., .] with dependent types [., ., .] in [., .作者: 震驚 時(shí)間: 2025-3-22 08:17 作者: 驕傲 時(shí)間: 2025-3-22 12:30 作者: 親屬 時(shí)間: 2025-3-22 16:35 作者: microscopic 時(shí)間: 2025-3-22 20:07 作者: 徹底檢查 時(shí)間: 2025-3-23 01:08
Semantic Predictions in Natural Language Processing, Default Reasoning and Belief Revision lexicon and a finite number of composition rules. According to this architecture, language comprehension completely proceeds in a bottom-up fashion only driven by linear linguistic input thereby leaving no room for a predictive component which allows to make expectations about upcoming words. This 作者: 猛擊 時(shí)間: 2025-3-23 05:13 作者: 昏睡中 時(shí)間: 2025-3-23 07:56 作者: Hla461 時(shí)間: 2025-3-23 11:45
Reflexive and Reciprocal Determinersof sentences. Various logical properties (invariance, conservativity, a-conservativity, a-intersectivity) of functions denoted by these determiners are studied. These properties account for their anaphoricity and show formal differences between anaphoric and ordinary determiners.作者: 窒息 時(shí)間: 2025-3-23 15:03
The Topology of Full and Weak Beliefoperator. We show that the system ., a weakened version of ., is sound and complete with respect to the class of all topological spaces. While generalizing the topological belief semantics proposed in [., .] to all spaces, we model conditional beliefs and updates and give complete axiomatizations of作者: 保留 時(shí)間: 2025-3-23 21:10
Universal Models for the Positive Fragment of Intuitionistic Logiced submodel of . – the .-universal model of .. Using ., we give an alternative proof of Jankov’s theorem stating that the intermediate logic ., the logic of the weak law of excluded middle, is the greatest intermediate logic extending . that proves exactly the same positive formulas as ..作者: seruting 時(shí)間: 2025-3-24 01:36 作者: Immortal 時(shí)間: 2025-3-24 04:28 作者: BALK 時(shí)間: 2025-3-24 08:53 作者: 黃油沒(méi)有 時(shí)間: 2025-3-24 11:42 作者: 粗糙 時(shí)間: 2025-3-24 17:27 作者: 頑固 時(shí)間: 2025-3-24 21:24 作者: 先行 時(shí)間: 2025-3-25 02:36
Justyna Grudzińska,Marek Zawadowski der Kombination mit Phenergan kann sie nicht als gesichert gelten. Phenergan und Hydergin allein oder in Kombination weisen ebenfalls eine sehr hohe Irrtumswahrscheinlichkeit auf. Die histologischen Befunde am Nerven sind für die Kombination Tanderil-Hydergin-Phenergan in den Serien 4, 5 und 6 sign作者: 厭食癥 時(shí)間: 2025-3-25 04:00
Petr Homolaef verwurzelten Bedürfnis, sich als Glied einer Gruppe zu fühlen“ (L?wnau 1964) und zu anderen Menschen in Beziehung zu treten, mit ihnen zu kommunizieren. Als Kommunikation wird ?die Herstellung gesellschaftlicher Beziehungen zwischen den Menschen durch den Austausch gesellschaftlicher Informatione作者: formula 時(shí)間: 2025-3-25 08:16 作者: irreparable 時(shí)間: 2025-3-25 13:45 作者: Inkling 時(shí)間: 2025-3-25 17:59
Sebastian L?bneref verwurzelten Bedürfnis, sich als Glied einer Gruppe zu fühlen“ (L?wnau 1964) und zu anderen Menschen in Beziehung zu treten, mit ihnen zu kommunizieren. Als Kommunikation wird ?die Herstellung gesellschaftlicher Beziehungen zwischen den Menschen durch den Austausch gesellschaftlicher Informatione作者: Crepitus 時(shí)間: 2025-3-25 23:12 作者: 揭穿真相 時(shí)間: 2025-3-26 02:10
Helle Hvid Hansen,Sarah E. Murray,Henk ZeevatIncludes supplementary material: 作者: 遠(yuǎn)地點(diǎn) 時(shí)間: 2025-3-26 05:40
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588064.jpg作者: 相同 時(shí)間: 2025-3-26 08:41 作者: 外向者 時(shí)間: 2025-3-26 16:20
First-Order Abduction as Enumeration of Stable Modelsnding since the heretofore used algorithms do not allow for seamless integration of the process of abduction with deduction. Our method helps the solver confine the search space by ruling out logically impossible proofs (with respect to a background theory).作者: convulsion 時(shí)間: 2025-3-26 20:40 作者: acolyte 時(shí)間: 2025-3-26 23:26
Universal Models for the Positive Fragment of Intuitionistic Logiced submodel of . – the .-universal model of .. Using ., we give an alternative proof of Jankov’s theorem stating that the intermediate logic ., the logic of the weak law of excluded middle, is the greatest intermediate logic extending . that proves exactly the same positive formulas as ..作者: FLING 時(shí)間: 2025-3-27 02:01
A Representation Theorem for Stratified Complete Latticesinal, typically a limit ordinal. They have been used to give semantics to recursive definitions involving nonmonotonic operations. We provide representation theorems for stratified complete lattices by inverse limits of complete lattices.作者: 出處 時(shí)間: 2025-3-27 08:17 作者: AV-node 時(shí)間: 2025-3-27 11:43 作者: BORE 時(shí)間: 2025-3-27 16:29
Logic, Language, and Computation978-3-662-54332-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 黑豹 時(shí)間: 2025-3-27 19:15 作者: SPER 時(shí)間: 2025-3-27 22:29 作者: 解開(kāi) 時(shí)間: 2025-3-28 05:58
Anja Goldschmidt,Thomas Gamerschlag,Wiebke Petersen,Ekaterina Gabrovska,Wilhelm Geuderlichkeit . von weniger als 1%. Das . für die Histologie des Nerven and der Gef??e für Tanderil-Hydergin ist signifikant, w?hrend Reparil mit einem . von 26% resp. 47% schlecht abschneidet. Die Grenzen zwischen ?gut“and ?schlecht“wurden dabei vom Statistiker so festgelegt, da? bei jedem Kriterium ins作者: minimal 時(shí)間: 2025-3-28 07:05
Justyna Grudzińska,Marek Zawadowskilichkeit . von weniger als 1%. Das . für die Histologie des Nerven and der Gef??e für Tanderil-Hydergin ist signifikant, w?hrend Reparil mit einem . von 26% resp. 47% schlecht abschneidet. Die Grenzen zwischen ?gut“and ?schlecht“wurden dabei vom Statistiker so festgelegt, da? bei jedem Kriterium ins作者: sundowning 時(shí)間: 2025-3-28 12:23 作者: Eosinophils 時(shí)間: 2025-3-28 17:15 作者: 殺菌劑 時(shí)間: 2025-3-28 19:24 作者: 發(fā)炎 時(shí)間: 2025-3-29 02:21
Sebastian L?bnerhsten T?tigkeiten…“ und ?Kommunikation bedeutet das auf einem vorhandenen Satz von Regeln begründete Teilhaben an bestimmten Verhaltensformen oder Existenzweisen…“ und schlie?lich ?Wir k?nnen wohl gegen einige Regeln versto?en, aber wir k?nnen nicht alle brechen, wenn wir innerhalb einer sozialen Ge作者: Yag-Capsulotomy 時(shí)間: 2025-3-29 03:44 作者: 龍卷風(fēng) 時(shí)間: 2025-3-29 09:50 作者: scrutiny 時(shí)間: 2025-3-29 12:16
Frame Theory with First-Order Comparators: Modeling the Lexical Meaning of Punctual Verbs of Change vs. ‘≠’ or ‘<’ vs. ‘=’ vs. ‘>’. Comparators allow us to model within frames and AVMs conditions in terms of basic abstract relations. The approach proposed offers simplifications of alternative proposals for the frame-theoretical decomposition of these types of verb: (i) standard PL1 is used as a f作者: moratorium 時(shí)間: 2025-3-29 16:02 作者: 嬰兒 時(shí)間: 2025-3-29 20:24
On G?del Algebras of Conceptsonnectives taken by some many-valued logic. Our approach is different. Since G?del algebras are (residuated) lattices, we want to understand which type of concepts are expressed by these lattices. To this end, we investigate the concept lattice of the standard context obtained from the lattice reduc作者: corn732 時(shí)間: 2025-3-30 02:45 作者: FLAX 時(shí)間: 2025-3-30 05:11
Nick Bezhanishvili,Dick de Jongh,Apostolos Tzimoulis,Zhiguang Zhao作者: 案發(fā)地點(diǎn) 時(shí)間: 2025-3-30 10:02
Semantic Dependency Graphs Montague’s IL or Discourse Representation Structures. For this, arrows must have semantically interpretable labels and two additional kinds of arrows need to be added: scope arrows and anaphoric arrows.作者: 匯總 時(shí)間: 2025-3-30 12:44 作者: MIRE 時(shí)間: 2025-3-30 16:34 作者: Ossification 時(shí)間: 2025-3-30 21:53
Conference proceedings 2017isi, Georgia, in September 2015..The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publicatio作者: 哀求 時(shí)間: 2025-3-31 04:03
Syntax Annotation of the Georgian Literary Corpusf the Georgian Language. It includes syntactic and morphologic levels of the Georgian language model. The basis of the linguistic model of the Georgian text syntax annotation is the dependency grammar.
