標(biāo)題: Titlebook: Logics in AI; European Workshop JE J. Eijck Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 Automat.artificial intellige [打印本頁] 作者: GERM 時間: 2025-3-21 17:46
書目名稱Logics in AI影響因子(影響力)
書目名稱Logics in AI影響因子(影響力)學(xué)科排名
書目名稱Logics in AI網(wǎng)絡(luò)公開度
書目名稱Logics in AI網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logics in AI被引頻次
書目名稱Logics in AI被引頻次學(xué)科排名
書目名稱Logics in AI年度引用
書目名稱Logics in AI年度引用學(xué)科排名
書目名稱Logics in AI讀者反饋
書目名稱Logics in AI讀者反饋學(xué)科排名
作者: 陳舊 時間: 2025-3-21 23:48
Commonsense entailment: A modal theory of nonmonotonic reasoning, developed here extends that of Asher and Morreau (1991). That theory enables specific information to prevail over more general information by using techniques familiar from prioritized circumscription; this theory uses a constraint on modal frames to achieve the same effect.作者: Macronutrients 時間: 2025-3-22 00:25 作者: 使隔離 時間: 2025-3-22 08:19
, — A methodology for inductive theorem proving,illustrate its explanatory character. In particular, we try to show that our method provides explanations, as much as possible, in terms of the original problem, which makes them understandable for the user and suitable for the system..The paper uses the vocabulary presented in [10].作者: handle 時間: 2025-3-22 11:22
Extending resolution for model construction,ced, in order to extend resolution, are essentially new. Their necessity in constructing models is proved. A brief comparison with existing methods which bear similarity with ours, . in the use of constraints (a particular case of equational problems) . in the search of a model, shows the originality of our proposal.作者: 謙虛的人 時間: 2025-3-22 13:38 作者: Gobble 時間: 2025-3-22 17:21
,NM3 — A three-valued cumulative non-monotonic formalism,xpoint semantics for the default operator. The semantics is based on the notion of ., where a set of sentences Γ preferentially entails a sentence ., if and only if a preferred set of the models of Γ are models of .. We also show that the logic belongs to the class of cumulative non-monotonic formalisms which are a subject of current interest.作者: 不透氣 時間: 2025-3-22 23:13 作者: Wallow 時間: 2025-3-23 04:54
Conference proceedings 19911990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics作者: 繁重 時間: 2025-3-23 06:22
Two theories of dynamic semantics,ompared, viz. ., and .. In section 1 a general characterization of the idea of a dynamic semantics for natural language is given which subsumes these two theories. Sections 2 and 3 are devoted to short expositions of each of them. In the final section 4 a comparison is made.作者: 不愿 時間: 2025-3-23 12:55
Action logic and pure induction,tending the equational theory REG of regular expressions with operations . (.) and . (.). Unlike REG, ACT is finitely based, makes .* reflexive transitive closure, and has an equivalent Hilbert system. The crucial axiom is that of ., (.)* = ..作者: mortuary 時間: 2025-3-23 17:37
Systems for knowledge and beliefs,does allow the same axiom without the mentioned collapse. We consider as the main benefit of this paper, however, the techniques that are developed to come to this solution. It appears that applying basic correspondence theory to a multi-modal system allows a systematic examination of possible combinations of epistemic operators.作者: 輕打 時間: 2025-3-23 18:09
0302-9743 programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.978-3-540-53686-4978-3-540-46982-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: outset 時間: 2025-3-24 01:09
978-3-540-53686-4Springer-Verlag Berlin Heidelberg 1991作者: Culpable 時間: 2025-3-24 05:36
Logics in AI978-3-540-46982-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 撫育 時間: 2025-3-24 07:56
Conference proceedings 19911990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.作者: 易改變 時間: 2025-3-24 14:16
https://doi.org/10.1007/BFb0018429Automat; artificial intelligence; automated theorem proving; computer; intelligence; logic; natural langua作者: 迅速成長 時間: 2025-3-24 18:09
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588179.jpg作者: Amendment 時間: 2025-3-24 22:54 作者: 尾隨 時間: 2025-3-25 02:54 作者: 王得到 時間: 2025-3-25 03:19 作者: Scleroderma 時間: 2025-3-25 07:47 作者: Stricture 時間: 2025-3-25 15:13 作者: Allodynia 時間: 2025-3-25 19:32
Extending resolution for model construction, resolution using equational problems and the inference system included in the method is proved to be sound and refutational complete. For some classes of formulae the method is indeed a decision procedure. Some examples of model construction — including one for which other resolution based decision作者: TEM 時間: 2025-3-25 23:23 作者: 許可 時間: 2025-3-26 01:34
,NM3 — A three-valued cumulative non-monotonic formalism, extending Kleene‘s three-valued logic with an “external negation” connective where ～ . is . when . is . or .. In addition, a default operator D is added where D. is interpreted as “. is true by default”. The addition of the default operator increases the expressivity of the language, where statemen作者: Ambiguous 時間: 2025-3-26 07:55 作者: Detonate 時間: 2025-3-26 11:59
A constraint logic approach to modal deduction,c in which the constraints represent the connections between worlds in the possible world semantics for modal logic. Deduction in the constraint logic is performed by a non-modal deductive system which has been systematically enhanced with special-purpose constraint processing mechanisms. The result作者: 地名表 時間: 2025-3-26 15:48
Systems for knowledge and beliefs, to the system gives a collapse of knowledge and belief: (K.φ ? B.φ). We investigate the cause(s) of this problem and suggest a ‘similar’ system that does allow the same axiom without the mentioned collapse. We consider as the main benefit of this paper, however, the techniques that are developed to作者: PAGAN 時間: 2025-3-26 17:43 作者: emulsify 時間: 2025-3-26 21:38 作者: analogous 時間: 2025-3-27 05:09 作者: aspersion 時間: 2025-3-27 08:44
A first order logic of truth, knowledge and belief,作者: Progesterone 時間: 2025-3-27 13:25 作者: Agility 時間: 2025-3-27 14:22 作者: 舔食 時間: 2025-3-27 18:23 作者: 按等級 時間: 2025-3-28 01:43 作者: Microgram 時間: 2025-3-28 02:54 作者: 要素 時間: 2025-3-28 10:02 作者: 大暴雨 時間: 2025-3-28 10:42 作者: bypass 時間: 2025-3-28 16:20
Claus Peter Heussel,Christian Plathow examines the scope of both legal and forensic medicine, its application and study and has adopted a wide ranging approach including multinational authorship. It reviews the differences between and similarities of forensic and legal medicine, the need for academic qualification, the applications to 作者: Intact 時間: 2025-3-28 22:20
Federico Petrisregnant women.Includes supplementary material: The phenomenon of bleeding has been shown to appear in up to 22% of all pregnancies and is associated with significant maternal and fetal morbidities, and even mortality.Although vaginal bleeding occurs mainly during the first trimester, it can appear a作者: initiate 時間: 2025-3-28 23:43 作者: Generosity 時間: 2025-3-29 04:36 作者: Self-Help-Group 時間: 2025-3-29 07:29
Claude E. Boydtention on the smaller contribution made by the K. gradient, along with the larger one made by Na. gradient. His new results suggest that the K. gradient may exert a much larger energizing effect when the ATP levels have not been depressed. As I heard the ion-gradient hypothesis so beautifully and c作者: glamor 時間: 2025-3-29 11:51
,Molecular Recognition Properties of , HRPG’s,oxyproline. In animal cells, a large family of well characterized hydroxyproline-rich glycoproteins (HRGP’s), the collagens, perform a variety of important structural, developmental, and homeostatic functions. That plants also contain HRGP’s was first demonstrated by D.T.A. Lamport (1), who named th作者: Cytology 時間: 2025-3-29 18:54
PGP-mc: Towards a Multicore Parallel Approach for Mining Gradual Patterns, due to the complexity of mining gradual rules, these algorithms cannot yet scale on huge real world datasets. In this paper, we propose to exploit parallelism in order to enhance the performances of the fastest existing one (GRITE). Through a detailed experimental study, we show that our parallel 作者: 鍵琴 時間: 2025-3-29 21:19 作者: Alveoli 時間: 2025-3-30 01:39
A Maneuver Detection-Range Parameterized Cubature Kalman Filter for Bearings-Only Maneuvering Target Tracking,y, based on the range parameterization algorithm, the detection range of the observation station is divided into several sub intervals using the equal ratio principle, and each interval operates a cubature Kalman filter. Secondly, based on the measured likelihood function, the weights of the sub fil作者: Ceramic 時間: 2025-3-30 07:58
Head Injury in Man and Experimental Animals: Neuropathology,a, raised intracranial pressure, diffuse axonal injury, diffuse hypoxic damage, and diffuse swelling have been produced in subhuman primates subjected to inertial, .. non-impact, controlled angular acceleration of the head through 60° in the sagittal, oblique and lateral planes.作者: 深淵 時間: 2025-3-30 11:52
the-art tools and resources for effective team science.Discu.Collaborations that integrate diverse perspectives are critical to addressing many of our complex scientific and societal problems. Yet those engaged in cross-disciplinary team science often face institutional barriers and collaborative ch作者: 拘留 時間: 2025-3-30 13:25
,über den Schwefelgehalt des H?moglobins im Blute rassenreiner Hunde und einiger seltener untersuchtwischen Eisen und Schwefel, daher auch kein rationelles Molekulargewicht berechnen lie?. Dieses recht merkwürdige Verhalten des Hundeh?moglobins sollte durch nachstehend geschilderte Versuche geprüft bzw. nach deren Ursachen gesucht werden.作者: 卡死偷電 時間: 2025-3-30 17:26 作者: 發(fā)出眩目光芒 時間: 2025-3-30 23:28
Integrazione di sicurezza e qualitànits. Due to the high symmetry of viral structures, we established the geometrical equivalence of subunit configurations of capsid fragments, decreasing the size of the search space. The energy of a given configuration was estimated by using heuristic functions of the number and types of inter-subun作者: 懦夫 時間: 2025-3-31 02:45
Gildas Avoine,Pascal Junod,Philippe Oechslinaufzeitfehler und logische Fehler und kann bei gr?sseren Programmen die H?lfte der Entwicklungszeit beanspruchen. Die Arbeit mit Anwender- und Viertgenerationssprachen verringert zwar den Aufwand für die Definition des Problems und den Entwurf der L?sung nicht, sie vermindert aber den Programmier- u作者: 匍匐 時間: 2025-3-31 05:27 作者: Boycott 時間: 2025-3-31 12:14
M. Strongin,M. W. Ruckman,M. Weinert,R. E. Watson,J. W. Davenportavoiding known pitfalls..?.Essential and easy to use, .RNA Abundance Analysis: Methods and Protocols. provides a comprehensive set of techniques and methods on isolating and analyzing mRNAs, small RNAs, and mod978-1-4939-5916-7978-1-61779-839-9Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: 馬具 時間: 2025-3-31 15:55 作者: 來這真柔軟 時間: 2025-3-31 19:42 作者: Heart-Rate 時間: 2025-3-31 22:00
he tried to distance himself from Turner’s story, he could not refrain from seeing Turner as a “monster” and “gloomy fanatic.” As he said, “The calm, deliberate, composure with which he spoke of his late deeds and intentions, the expression of his fiend-like face when excited by enthusiasm, still be
