標(biāo)題: Titlebook: Logic, Language, Information and Computation; 14th International W Daniel Leivant,Ruy Queiroz Conference proceedings 2007 Springer-Verlag B [打印本頁] 作者: 近地點(diǎn) 時間: 2025-3-21 16:52
書目名稱Logic, Language, Information and Computation影響因子(影響力)
書目名稱Logic, Language, Information and Computation影響因子(影響力)學(xué)科排名
書目名稱Logic, Language, Information and Computation網(wǎng)絡(luò)公開度
書目名稱Logic, Language, Information and Computation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic, Language, Information and Computation被引頻次
書目名稱Logic, Language, Information and Computation被引頻次學(xué)科排名
書目名稱Logic, Language, Information and Computation年度引用
書目名稱Logic, Language, Information and Computation年度引用學(xué)科排名
書目名稱Logic, Language, Information and Computation讀者反饋
書目名稱Logic, Language, Information and Computation讀者反饋學(xué)科排名
作者: UNT 時間: 2025-3-21 23:53 作者: 能量守恒 時間: 2025-3-22 02:09 作者: gnarled 時間: 2025-3-22 05:37
Alexander DikovskyIn der vorliegenden Arbeit wurde versucht, m?glichst viele Para- meter für die Beurteilung zu erfassen, um ein m?glichst objektives Bild über den therapeutischen Wert bei 100 Knie- und 370 Fingersynovektomien zu erhalten. Bei der Untersuchung sind unter anderem folgende wichtige Gesichts- punkte ber作者: 同時發(fā)生 時間: 2025-3-22 11:15
Annie Foretagewerk für (Ern?hrungs)Mediziner, Ern?hrungswissenschafter .In der medizinischen Versorgung bekommt die Ern?hrung einen immer gr??eren Stellenwert. Zum einen sind heute Nahrungsmittelunvertr?glichkeiten h?ufiger anzutreffen, andererseits wird eine Ern?hrungstherapie bei mehr Krankheitsbildern als a作者: 加入 時間: 2025-3-22 16:58
Murdoch J. Gabbay,Aad Mathijssenagewerk für (Ern?hrungs)Mediziner, Ern?hrungswissenschafter .In der medizinischen Versorgung bekommt die Ern?hrung einen immer gr??eren Stellenwert. Zum einen sind heute Nahrungsmittelunvertr?glichkeiten h?ufiger anzutreffen, andererseits wird eine Ern?hrungstherapie bei mehr Krankheitsbildern als a作者: jet-lag 時間: 2025-3-22 18:24
André L. Galdino,César Mu?oz,Mauricio Ayala-Rincónagewerk für (Ern?hrungs)Mediziner, Ern?hrungswissenschafter .In der medizinischen Versorgung bekommt die Ern?hrung einen immer gr??eren Stellenwert. Zum einen sind heute Nahrungsmittelunvertr?glichkeiten h?ufiger anzutreffen, andererseits wird eine Ern?hrungstherapie bei mehr Krankheitsbildern als a作者: 密碼 時間: 2025-3-23 01:11
A Grammatical Representation of Visibly Pushdown Languages,cently, through the use of .-visibly pushdown languages (.VPLs), defined by .-visibly pushdown automata, model-checking of properties beyond regular expressiveness was made possible and shown to be still decidable even when the program’s model of behaviour is an .VPL. In this paper, we give a gramma作者: ROOF 時間: 2025-3-23 04:17 作者: 噴油井 時間: 2025-3-23 09:19 作者: Indelible 時間: 2025-3-23 10:24
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps,is inspired by . tasks (e.g. . in mathematics and natural sciences). The key idea is to replace implicit . descriptions of the consequences in search spaces (i.e. the problem specification) by . ones (describing the . of such consequences). The approach profits from the expressive power of term sche作者: 專心 時間: 2025-3-23 16:01
Continuation Semantics for Symmetric Categorial Grammar,the antecedent a structured configuration of formulas ..,...,... The absence of structural context in the succedent makes the analysis of a number of phenomena in natural language semantics problematic. A case in point is scope construal: the different possibilities to build an interpretation for se作者: 常到 時間: 2025-3-23 18:26 作者: 使服水土 時間: 2025-3-23 23:49 作者: 嗎啡 時間: 2025-3-24 03:37
Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordinnce is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is captured by means of a new dynamic system couched in cl作者: 宣傳 時間: 2025-3-24 07:17
On Principal Types of BCK-,-Terms, principal types of BCK-.-terms. In 1993 Sachio Hirokawa gave a characterization of the set of principal types of BCK-.-terms in .-normal form based on a relevance relation that he defined between the type variables in a type. We define a symmetric notion of this and call it dependence relation. The作者: ALIAS 時間: 2025-3-24 12:48
A Finite-State Functional Grammar Architecture, by finite state tree top-down transducers applied to feature trees to convert them into sequences of typed forms (typed sentences). The correctness of the generated types is checked using a simple and efficient dependency calculus. The corresponding dependency structure is extracted from the correc作者: installment 時間: 2025-3-24 16:31
Pregroup Calculus as a Logic Functor,pregroup calculus so as to extend it by composition with other logics and calculii.The . and the .property of the sequent calculus proposed in the article are shown.Properties of composed calculii are also discussed.作者: Phagocytes 時間: 2025-3-24 20:00
A Formal Calculus for Informal Equality with Binding,variables can and cannot occur free. We describe a logical derivation system which allows a direct formalisation of such assertions, along with a direct formalisation of their constraints. We base our logic on equality, probably the simplest available judgement form. In spite of this, we can axiomat作者: 事與愿違 時間: 2025-3-25 01:35 作者: POLYP 時間: 2025-3-25 05:53 作者: ANA 時間: 2025-3-25 07:59
Modules over Monads and Linearity, of morphism of left modules (”linear” natural transformations) captures an important property of compatibility with substitution, in the heterogeneous case where ”terms” and variables therein could be of different types as well as in the homogeneous case. In this paper, we present basic constructio作者: ambivalence 時間: 2025-3-25 13:16 作者: Expressly 時間: 2025-3-25 18:51
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus,died in Grishin [1]. The vocabulary of . complements the Lambek product and its left and right residuals with a dual family of type-forming operations: coproduct, left and right difference. The two families interact by means of structure-preserving distributivity principles. We present an axiomatiza作者: 千篇一律 時間: 2025-3-25 22:24
Pregroup Calculus as a Logic Functor,pregroup calculus so as to extend it by composition with other logics and calculii.The . and the .property of the sequent calculus proposed in the article are shown.Properties of composed calculii are also discussed.作者: BOLT 時間: 2025-3-26 03:00
https://doi.org/10.1007/978-3-540-73445-1Erfüllbarkeitsproblem der Aussagenlogik; adaptive functions; algorithhms; algorithm; algorithms; calculi; 作者: Perineum 時間: 2025-3-26 07:38 作者: 盲信者 時間: 2025-3-26 11:41 作者: 針葉樹 時間: 2025-3-26 15:18 作者: fiscal 時間: 2025-3-26 18:26
An Introduction to Context Logic,This paper provides a gentle introduction to Context Logic. It contains work previously published with Calcagno [1,2], and is based on Gardner’s notes for her course on . at the Appsem PhD summer school [3] and Zarfaty’s thesis [4].作者: 猛然一拉 時間: 2025-3-26 23:40 作者: 有毛就脫毛 時間: 2025-3-27 01:34
Benjamín C. Bedregal,Roberto Callejas-Bedregal,Hélida S. Santoshu?station in Wien, die Anf?lle wiederholten sich bis zu dreimal im Tag, doch traten auch Pausen auf, manchmal einen Monat lang. Im Sommer w?hrend der Hitze war die Zahl der Anf?lle gr??er. Im Jahre 1925 ging Patient nach Hause. Die Anf?lle bestanden in derselben Art weiter, seine Invalidit?t wurde 作者: Medley 時間: 2025-3-27 05:31
Hicham Bensaid,Ricardo Caferra,Nicolas Peltiereingeleitet wird. Nach der, wie der Kranke seiner Empfindung entsprechend glaubt, hiedurch erfolgten Entleerung des Magens erhole er sich nur ganz allm?hlich im ungef?hren Zeitraum einer Woche. Das Erbrochene bestehe aus reichlicher, schaumbedeckter saurer Flüssigkeit, der reichlich Reste von Speise作者: 瘙癢 時間: 2025-3-27 12:16
Alexander Dikovskymfassendes Punktsystem auf- zustellen, um damit die Auswertung keinem Zufall zu überlassen. Neben dem rein lokalen Gelenksbefund wurde zur Zeit der Operation und bei den nachfolgenden Kontrollen ein intern rheumatologischer Status mit entsprechenden Laboruntersuchungen durchgeführt und in die Beurte作者: 會議 時間: 2025-3-27 14:57 作者: 通便 時間: 2025-3-27 18:31 作者: Crumple 時間: 2025-3-27 23:32 作者: 無意 時間: 2025-3-28 02:43 作者: myopia 時間: 2025-3-28 09:17 作者: 精美食品 時間: 2025-3-28 10:50
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm,tes resolution maneuvers that are optimal with respect to ground speed and heading changes. The algorithm has been mechanically verified in the Prototype Verification System (PVS). The verification relies on algebraic proof techniques for the manipulation of the geometrical concepts relevant to the 作者: 搜尋 時間: 2025-3-28 14:49
Conference proceedings 2007undational aspects of information organization, search, ?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invit作者: 擴(kuò)音器 時間: 2025-3-28 22:24 作者: 針葉 時間: 2025-3-29 02:10 作者: 沒收 時間: 2025-3-29 04:17
Bounded Lattice T-Norms as an Interval Category,eralized t-norms are the objects and generalizations of automorphisms are the morphisms of the category. We will prove that, this category is an interval category, which roughly means that it is a Cartesian category with an interval covariant functor.作者: 開始發(fā)作 時間: 2025-3-29 08:57
On Principal Types of BCK-,-Terms,n a relevance relation that he defined between the type variables in a type. We define a symmetric notion of this and call it dependence relation. Then, using the notion of ..-reduction introduced by de Groote, we obtain a characterization of the complete set of principal types of BCK-.-terms.作者: Constituent 時間: 2025-3-29 15:11
A Finite-State Functional Grammar Architecture,f the generated types is checked using a simple and efficient dependency calculus. The corresponding dependency structure is extracted from the correctness proof. Using an English example, it is demonstrated that this transduction can be carried out incrementally in the course of composition of the meaning structure.作者: 合群 時間: 2025-3-29 17:11 作者: 我們的面粉 時間: 2025-3-29 21:10
Hydra Games and Tree Ordinals,epts; an ordinal less than .. is canonically translated into both a hydra and a tree ordinal term, and the reduction graph of the hydra and the normal form of the term syntactically correspond to each other.作者: Blemish 時間: 2025-3-30 00:49
,Ehrenfeucht–Fra?ssé Games on Linear Orders,d in a linear order iff the formula is semimodel-satisfied in the corresponding semimodel. The strategy implies the decidability of the theory of linear order, and gives a completion of any formula by one with quantifier rank only 2 larger than the original formula. The strategy generalizes directly to the infinitary theory of linear order.作者: 催眠藥 時間: 2025-3-30 07:56
Numerical Constraints for XML,attention towards numerical keys that permit the specification of upper bounds. Keys, as introduced by Buneman et al., are numerical keys with upper bound 1. Numerical keys are finitely satisfiable, finitely axiomatisable, and their implication problem is decidable in quadratic time.作者: 天真 時間: 2025-3-30 11:35
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus, characterize its notion of type similarity in comparison with the other categorial systems. From the linguistic point of view, we show that . naturally accommodates non-local semantic construal and displacement — phenomena that are problematic for the original Lambek calculi.作者: 無能力 時間: 2025-3-30 14:31
Fully Lexicalized Pregroup Grammars,using a morphism on types, a particular pregroup grammar into another pregroup grammar that uses the equality as the order on primitive types. This transformation is at most quadratic in size (linear for a fixed set of primitive types), it preserves the parse structures of sentences and the number of types assigned to a word.作者: 直覺沒有 時間: 2025-3-30 19:09
A Grammatical Representation of Visibly Pushdown Languages,tical representation of .VPLs and the corresponding finite word languages – VPL. From a specification viewpoint, the grammatical representation provides a more natural representation than the automata approach.作者: gonioscopy 時間: 2025-3-30 20:45 作者: 斷斷續(xù)續(xù) 時間: 2025-3-31 04:29 作者: 神圣將軍 時間: 2025-3-31 06:08
A Formal Calculus for Informal Equality with Binding,ise systems of logic and computation such as first-order logic or the lambda-calculus in a very direct and natural way. We investigate the theory of derivations, prove a suitable semantics sound and complete, and discuss existing and future research.作者: 娘娘腔 時間: 2025-3-31 12:56 作者: Affirm 時間: 2025-3-31 13:24
Conference proceedings 2007formation and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of foste作者: 實施生效 時間: 2025-3-31 20:54
10樓作者: HOWL 時間: 2025-3-31 23:17
10樓
