標(biāo)題: Titlebook: Logic Programming; 17th International C Philippe Codognet Conference proceedings 2001 Springer-Verlag Berlin Heidelberg 2001 Computational [打印本頁(yè)] 作者: Magnanimous 時(shí)間: 2025-3-21 16:06
書目名稱Logic Programming影響因子(影響力)
書目名稱Logic Programming影響因子(影響力)學(xué)科排名
書目名稱Logic Programming網(wǎng)絡(luò)公開度
書目名稱Logic Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic Programming被引頻次
書目名稱Logic Programming被引頻次學(xué)科排名
書目名稱Logic Programming年度引用
書目名稱Logic Programming年度引用學(xué)科排名
書目名稱Logic Programming讀者反饋
書目名稱Logic Programming讀者反饋學(xué)科排名
作者: BLINK 時(shí)間: 2025-3-21 22:09 作者: 繁重 時(shí)間: 2025-3-22 04:15 作者: Omniscient 時(shí)間: 2025-3-22 08:06 作者: BLINK 時(shí)間: 2025-3-22 10:22
A Close Look at Constraint-Based Concurrencyl these features originate from the use of constraints and logical variables for interprocess communication and data representation. Another feature of constraint-based concurrency is its remarkable stability; all the above features were available essentially in its present form by mid 1980’s in concurrent logic programming languages.作者: 報(bào)復(fù) 時(shí)間: 2025-3-22 13:41 作者: 護(hù)航艦 時(shí)間: 2025-3-22 20:12
Is Logic Really Dead or Only Just Sleeping?n to make progress where Logic was judged to have failed - approaches that were designed to simulate directly the neurological mechanisms of animal and human intelligence. Insect-like robots began to appear,and the beginning of a new Machine Intelligence was born. Logic seemed to be dieing - and to be taking Logic Programming (LP) with it.作者: Adherent 時(shí)間: 2025-3-22 23:32 作者: 來(lái)這真柔軟 時(shí)間: 2025-3-23 04:55
Building Constraint Solvers with HAL“plug and play” experimentation. We compare a number of different ways of writing a simple solver in HAL: using dynamic scheduling, constrain handling rules and building on an existing solver. We also examine how external solvers may be interfaced with HAL, and approaches for removing interface overhead.作者: muscle-fibers 時(shí)間: 2025-3-23 05:56 作者: faction 時(shí)間: 2025-3-23 10:40
Higher-Precision Groundness Analysisueness analysis. The idea is to use the sign information of LSign to improve the widening of Size so that it does not lose Pos information. We prove that the resulting analyses using LPos are uniformly more precise than those using Pos.作者: Expediency 時(shí)間: 2025-3-23 17:51 作者: phlegm 時(shí)間: 2025-3-23 20:24
Is Logic Really Dead or Only Just Sleeping?onymous with the “Laws of Thought”. Later, for most of the latter half of the twentieth century,it was the mainstream of Artificial Intelligence. But then it all went wrong. Artificial Intelligence researchers, frustrated by the lack of progress, blamed many of their problems on the logic-based appr作者: 提煉 時(shí)間: 2025-3-23 22:54 作者: 使糾纏 時(shí)間: 2025-3-24 03:56 作者: 返老還童 時(shí)間: 2025-3-24 09:23 作者: dainty 時(shí)間: 2025-3-24 11:38 作者: Mindfulness 時(shí)間: 2025-3-24 17:30 作者: Dislocation 時(shí)間: 2025-3-24 21:00 作者: RLS898 時(shí)間: 2025-3-25 00:11 作者: 絕緣 時(shí)間: 2025-3-25 04:10 作者: 陶醉 時(shí)間: 2025-3-25 08:19 作者: 小故事 時(shí)間: 2025-3-25 12:21
Practical Aspects for a Working Compile Time Garbage Collection System for Mercuryreuse system for Mercury, a logic programming language. This system indicates which datastructures can safely be reused at run-time. As preliminary experiments were promising, we have continued this work and have now a working and well performing near-to-ship CTGC-system built into the Melbourne Mer作者: Enzyme 時(shí)間: 2025-3-25 17:03 作者: 真 時(shí)間: 2025-3-25 20:21
Higher-Precision Groundness Analysisgic program analysis. In this work we identify two problems with the Pos domain, the multiplicity and sign problems, that arise independently in groundness and uniqueness analysis. We describe how these problems can be solved using an analysis based on a domain Size for inferring term size relations作者: 一致性 時(shí)間: 2025-3-26 03:30 作者: Incorporate 時(shí)間: 2025-3-26 06:12 作者: 財(cái)政 時(shí)間: 2025-3-26 12:00
elhallen, Discos reihen sich nahtlos aneinander – ein Rummel. Die Frauen tragen glitzernde T-Shirts, Blusen mit Spitzen, breite ornamentale Ledergürtel, flatternde Kleider. Die M?nner tun sich schwerer mit der Pr?sentation einer Urlaubserscheinung – aber alle sind sie versch?nt durch das sanfte Nach作者: forbid 時(shí)間: 2025-3-26 13:17 作者: 浮雕寶石 時(shí)間: 2025-3-26 17:49 作者: Legion 時(shí)間: 2025-3-26 21:04 作者: 包裹 時(shí)間: 2025-3-27 01:53
Ashish Guptaation. In den 1980er Jahren dominierten in der Debatte um Kindheit Begriffe wie ?Verlustkindheit“, ?Fernsehkindheit“, ?Einzelkindheit“ oder ?Verinselung“, und auch der wissenschaftliche Diskurs setzte sich mit diesen Topoi auseinander. Vornehmlich wurde Kindheit ?aus einer kulturkritischen oder kult作者: Physiatrist 時(shí)間: 2025-3-27 06:04
Kazunori Uedaeren Personen danken, die mitgearbeitet haben. Das sind vor allem über hundert Kinder und Eltern aus Deutschland und Holland, die sich bereit fanden, unsere Forschungswünsche zu erfiillen. Es waren sehr unbescheidene Wünsche: Wir baten Eltern und Kinder um sehr ausgedehnte Gespr?che, um soviel wie m作者: 安定 時(shí)間: 2025-3-27 09:39 作者: 能量守恒 時(shí)間: 2025-3-27 13:36
Ricardo Rocha,Fernando Silva,Vítor Santos Costa, auf die deutsche Gesellschaft, so zeigt sich, dass auch auf diese das Etikett . passt. Unzweifelhaft hat die Bildungsexpansion sp?testens seit den 1960er Jahren zu einem rasanten Anstieg des allgemeinen Bildungsniveaus der Bev?lkerung geführt. Lag der Anteil der Schulabg?ngerInnen mit Hochschulrei作者: 柔聲地說(shuō) 時(shí)間: 2025-3-27 20:13
Nicolas Beldiceanu,Mats Carlssonne kurze deutsche Erz?hlung für Kinder ins Hebr?ische übersetzt, in die hebr?ische Kinderliteratur übertragen — und von dieser akzeptiert wurde. Dennoch ist das, was ich tats?chlich tun werde, etwas komplexer und hat weit allgemeinere Implikationen für sowohl die übersetzungs- als auch die Literatur作者: 反饋 時(shí)間: 2025-3-27 22:02 作者: abstemious 時(shí)間: 2025-3-28 02:54
María García de la Banda,David Jeffery,Kim Marriott,Nicholas Nethercote,Peter J. Stuckey,Christian Hit der Kinder- und Jugendliteratur in der Bundesrepublik seit den 70er Jahren scheint mir auf einer Ebene in jüngster Zeit zu stagnieren — und zwar auf literaturtheoretischer Ebene. Soweithin anerkannt es mittlerweile auch ist, es mangelt diesem Forschungsgebiet immer noch an einer tragf?higen liter作者: Tonometry 時(shí)間: 2025-3-28 09:54
Nancy Mazur,Peter Ross,Gerda Janssens,Maurice Bruynooghene kurze deutsche Erz?hlung für Kinder ins Hebr?ische übersetzt, in die hebr?ische Kinderliteratur übertragen — und von dieser akzeptiert wurde. Dennoch ist das, was ich tats?chlich tun werde, etwas komplexer und hat weit allgemeinere Implikationen für sowohl die übersetzungs- als auch die Literatur作者: Intractable 時(shí)間: 2025-3-28 14:14
Jacob M. Howe,Andy King?ngenden Fragen nach den eingeschriebenen Leserrollen sind in letzter Zeit Gegenstand kinderliterarischer Forschung geworden. Eine erste systematische Auseinandersetzung erfolgte in Zohar Shavits . (Shavit 1986), in dem in Anknüpfung an Itamar Even-Zohars Theorie des literarischen Polysystems Kinder作者: 離開就切除 時(shí)間: 2025-3-28 15:58 作者: 牌帶來(lái) 時(shí)間: 2025-3-28 18:44 作者: 獨(dú)行者 時(shí)間: 2025-3-29 00:01 作者: 魔鬼在游行 時(shí)間: 2025-3-29 03:33 作者: 入會(huì) 時(shí)間: 2025-3-29 10:34
Logic Programming978-3-540-45635-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 牽連 時(shí)間: 2025-3-29 11:50
0302-9743 Overview: Includes supplementary material: 978-3-540-42935-7978-3-540-45635-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: induct 時(shí)間: 2025-3-29 18:59 作者: instructive 時(shí)間: 2025-3-29 21:30 作者: 揉雜 時(shí)間: 2025-3-30 01:53
https://doi.org/10.1007/3-540-45635-XComputational Logic; Constraint Logic Programming; Database Logic; Deduction; Formal Verification; Linear作者: 松馳 時(shí)間: 2025-3-30 06:09 作者: 剛毅 時(shí)間: 2025-3-30 10:17 作者: 具體 時(shí)間: 2025-3-30 16:27 作者: Negotiate 時(shí)間: 2025-3-30 20:21
Probabilistic Databases and Logic ProgrammingUncertainty occurs in the world in many ways. For instance, image processing programs identify the content of images with some levels of uncertainty. Prediction programs predict when events will occur with certain probabilities. In this tutorial, I will focus on probabilistic methods to handle uncertainty.作者: BIAS 時(shí)間: 2025-3-30 20:43
Understanding Memory Management in Prolog Systemssystems. We present a methodology to compare the memory performance of such systems, and we use it to compare two different WAM-based systems, namely XSB and Yap. We suggest novel techniques for variable shunting and we propose a scheme that can improve the performance of sliding-based garbage colle作者: Insubordinate 時(shí)間: 2025-3-31 03:45
On a Tabling Engine That Can Exploit Or-Parallelismeduling is simplified by building on previous research on or-parallelism. We show initial performance results for our implementation. Our best result is for an actual application, model checking, where we obtain linear speedups.作者: 浪蕩子 時(shí)間: 2025-3-31 08:07
Speculative Beats Conservative Justification significant nontabled components: justification time for a single non-tabled literal can become . in its evaluation time!.In this paper we introduce the concept of a .. In such a justifier we evaluate the truths of literals in tandem with justification. Specifically, we select literals that can pos作者: upstart 時(shí)間: 2025-3-31 11:28 作者: 暗語(yǔ) 時(shí)間: 2025-3-31 17:22 作者: 獨(dú)行者 時(shí)間: 2025-3-31 19:22 作者: parsimony 時(shí)間: 2025-3-31 22:40
Patrick Cousotdie Erfahrung sozialer Zugeh?rigkeit durch Abgrenzung von (moderner) Kinderkultur“ (Heinzel 2005, 39). Die eigene, glückliche, zufriedene und erfüllte Kindheit wird hierbei nicht in Frage gestellt, sondern als Schablone für die Betrachtung aktueller Kindheit herangezogen und somit zur Norm erkl?rt. 作者: 走調(diào) 時(shí)間: 2025-4-1 02:09
Ashish Guptadie Erfahrung sozialer Zugeh?rigkeit durch Abgrenzung von (moderner) Kinderkultur“ (Heinzel 2005, 39). Die eigene, glückliche, zufriedene und erfüllte Kindheit wird hierbei nicht in Frage gestellt, sondern als Schablone für die Betrachtung aktueller Kindheit herangezogen und somit zur Norm erkl?rt. 作者: 橫截,橫斷 時(shí)間: 2025-4-1 06:33
Kazunori UedaGefahr für einen kurzen, aber bedeutsamen Moment entgegen wirken. Eltern und Kinder waren nicht nur bereit, mit uns zu sprechen, sondern willigten auch ein; da? wir Fotos von ihnen und ihrer Lebensumgebung machen durften; einige davon ver?ffentlichen wir mit ihrer Zustimmung in diesem Buch. Natürlic作者: MUTED 時(shí)間: 2025-4-1 11:08 作者: 倒轉(zhuǎn) 時(shí)間: 2025-4-1 17:43
