標(biāo)題: Titlebook: Logic Programming in Action; Second International G. Comyn,N. E. Fuchs,M. J. Ratcliffe Conference proceedings 1992 Springer-Verlag Berlin H [打印本頁] 作者: affected 時間: 2025-3-21 16:37
書目名稱Logic Programming in Action影響因子(影響力)
書目名稱Logic Programming in Action影響因子(影響力)學(xué)科排名
書目名稱Logic Programming in Action網(wǎng)絡(luò)公開度
書目名稱Logic Programming in Action網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic Programming in Action被引頻次
書目名稱Logic Programming in Action被引頻次學(xué)科排名
書目名稱Logic Programming in Action年度引用
書目名稱Logic Programming in Action年度引用學(xué)科排名
書目名稱Logic Programming in Action讀者反饋
書目名稱Logic Programming in Action讀者反饋學(xué)科排名
作者: Foreshadow 時間: 2025-3-21 20:30 作者: 蜿蜒而流 時間: 2025-3-22 04:21 作者: flaggy 時間: 2025-3-22 07:06
,PUNDIT — Natural language interfaces,rder to be practical, natural language systems must not require reimplementation of most of the system as they are ported to different domains. Thus, our goal in the design of PUNDIT is to reduce as much as possible the amount of effort that must be done to move the system to different applications.作者: MEEK 時間: 2025-3-22 11:18 作者: Insatiable 時間: 2025-3-22 15:52
Expert systems in mining,Another important point is that an expert system based on the logic programming paradigm fits well to — and can can even be regarded as a natural extension of — an information system which is based on a relational database management system.作者: 反復(fù)拉緊 時間: 2025-3-22 19:18 作者: Minikin 時間: 2025-3-22 23:47
Constraint Logic Programming,research on CLP, but rather to give a tutorial introduction and to convey the basic philosophy that is behind the different ideas in CLP. It will discuss the currently most successful computation domains and provide an overview on the different consistency techniques used in CLP and its implementations.作者: 女上癮 時間: 2025-3-23 03:52
The Prince project and its applications,ee application domains which were selected to demonstrate the applicability and usefulness of CLP. These applications deal with industrial systems engineering, medium term banking planning and jobshop scheduling as well as multiple plants global planning in the chemical industry.作者: 花爭吵 時間: 2025-3-23 07:37 作者: 魅力 時間: 2025-3-23 11:29
Knowledge representation for natural language processing,fferent purposes. Its knowledge engineering environment has been used for modeling the semantical backgound knowledge for the application domain of LEU/2. The inference engine implementing .. is a flexible theorem prover for processing the information extracted from natural language texts.作者: 揭穿真相 時間: 2025-3-23 16:08 作者: 誘使 時間: 2025-3-23 19:37
Conference proceedings 1992rs in universities,research institutes, and industry are realizing.Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS‘92. The First Log作者: 放肆的你 時間: 2025-3-24 01:15
Theory and practice in logic programming,doing so is an important direction for research in the future. The European Community Basic Research Project, Compulog, and the more general “network of excellence”, Compulog-net, are concerned with developing such improvements.作者: 我說不重要 時間: 2025-3-24 05:42
Constraint Logic Programming,straint solving. New application areas, amongst them many different classes of combinatorial search problems such as scheduling, planning or resource allocation can now be solved, which were intractable for logic programming so far. The most important advantage that these languages offer is the shor作者: 顛簸下上 時間: 2025-3-24 07:54 作者: Adulate 時間: 2025-3-24 14:16
A (Gentle) introduction to deductive databases,ween declarative and procedural programming and introduces the topic of deductive databases as an instance of this issue. The paper proceeds to expose some of the features of DD technology by means of the LDL system, shows some typical DD applications and concludes with a discussion of the state of 作者: –FER 時間: 2025-3-24 18:32
Knowledge based PPS applications in PROTOS-L, and database access. Two of the knowledge based PPS applications that have been realized in PROTOS-L are presented. One deals with single step fiber production, and the other one supports distributed planning in a three-level PPS model of global, distributed, and local planning.作者: 惡臭 時間: 2025-3-24 20:21 作者: synovitis 時間: 2025-3-25 00:24
Logic engineering and clinical dilemmas,easy to maintain, robust, sound and safe. It is not easy to meet all these requirements simultaneously. General medical practice exemplifies these problems in quite an extreme form; we discuss how the use of logic programming techniques has facilitated the design and implementation of decision suppo作者: 西瓜 時間: 2025-3-25 06:01 作者: interior 時間: 2025-3-25 09:05
Expert systems in mining, on PCs. In these projects we have been cooperating with engineers who are interested in solutions rather than programming techniques. Logic programming convincingly demonstrated its ability to solve complex problems which occur in a real industrial environment. A major point has been flexibility: s作者: 留戀 時間: 2025-3-25 14:17
Natural and formal language processing,wo roots from which Logic Programming developed, and still shares important core concepts with it (e.g. unification). The concepts and techniques used for two of its main tasks, viz. syntax analysis and semantic analysis, are illustrated with concrete examples. For syntax analysis, it is the notatio作者: 尋找 時間: 2025-3-25 17:41
,PUNDIT — Natural language interfaces,and pragmatic analysis. A central goal underlying PUNDIT‘s design is that the basic natural language processing functions should be independent of the system‘s domain of application and application. This approach to the design of natural language processing systems is motivated by the fact that in o作者: Flavouring 時間: 2025-3-25 21:10 作者: 口訣法 時間: 2025-3-26 02:12 作者: 避開 時間: 2025-3-26 05:10
Knowledge representation for natural language processing,machine processible form. Being part of the natural language understanding system LEU/2, the knowledge representation system built around .. serves different purposes. Its knowledge engineering environment has been used for modeling the semantical backgound knowledge for the application domain of LE作者: 舊病復(fù)發(fā) 時間: 2025-3-26 10:13
A set of tools for VHDL design, make it a perfect environment for manipulating the formal languages used to describe logical systems. Furthermore, . design, in which the hardware designer writes, compiles, and tests textual hardware descriptions has become increasingly important. Prolog meets this need for a powerful, ., software作者: 減去 時間: 2025-3-26 16:42
Owen V. EvansFERDINAND WITTENBAUER veranla?ten, für den Maschinenbauingenieur ein so umfassendes Lehrgeb?ude der graphischen Getriebedynamik zu errichten, gelten heute noch viel mehr, da das Streben nach Leistungssteigerung auf allen Ge- bieten des Maschinenbaus das Laufen der Kraft-und insbesondere der Arbeits-作者: Innocence 時間: 2025-3-26 19:40
Pierre -Joseph Gailly,Wolfgang Krautter,Christophe Bisière,Sylvie BescosUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaaeaaaaaaaaa8% qadaqdaaWdaeaapeGaamyqaiaadkeaaaaaaa!37D作者: 會議 時間: 2025-3-26 22:48 作者: GUMP 時間: 2025-3-27 03:18
Peter Reintjesorm force-generating movements along filamentous microtubules. Members of this family of microtubule motors are vital for numerous cellular activities, such as organelle transport and chromosome segregation. Kinesin-related proteins are not only linked by function, but each family member shares a si作者: 嘴唇可修剪 時間: 2025-3-27 07:05
Alan Bundyis crucial for the last phases of cytokinesis, where it interacts with protein regulating cytokinesis 1 (PRC1), citron kinase (CIT) and supervillin to mediate formation of the cleavage furrow. However its importance in cancer is perhaps better characterized than its cell biology, and has generated m作者: 窗簾等 時間: 2025-3-27 13:01 作者: Outshine 時間: 2025-3-27 17:38
978-3-540-55930-6Springer-Verlag Berlin Heidelberg 1992作者: 桶去微染 時間: 2025-3-27 20:59
Logic Programming in Action978-3-540-47312-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: constitutional 時間: 2025-3-28 00:06
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/587922.jpg作者: 整理 時間: 2025-3-28 03:50
https://doi.org/10.1007/3-540-55930-2Processing; Prolog; databases; expert system; formal language; logic; mathematical logic; programming; progr作者: inferno 時間: 2025-3-28 08:34
Software formal specification by logic programming: The example of standard Prolog,The aim of this presentation is to show how logic programming can be used to make formal specifications. This approach is illustrated by the project of standard ., as discussed in the ISO working group, which has been completely described by a formal specification.作者: ADORN 時間: 2025-3-28 13:24 作者: 保留 時間: 2025-3-28 18:20 作者: hedonic 時間: 2025-3-28 20:22 作者: GET 時間: 2025-3-29 02:02
Thom Frühwirth,Alexander Herold,Volker Küchenhoff,Thierry Le Provost,Pierre Lim,Eric Monfroy,Mark Wa作者: MARS 時間: 2025-3-29 03:49 作者: Nuance 時間: 2025-3-29 08:42 作者: 向前變橢圓 時間: 2025-3-29 11:24
Robert A. Kowalskinterstreicht eine erinnerungspolitische Besonderheit, die einzelne Staaten charakterisiert. Für die BRD sind die Heimkehrerfilme charakteristisch, für die DDR KZ- und Gef?ngnisfilme und für die UdSSR Spionagefilme. Die . versucht an einem Ausschnitt den ganzen Krieg darzustellen, wobei dieser Subtyp作者: 引起 時間: 2025-3-29 16:33
Peter Reintjes peptide antibodies generated against two of these short, conserved sequences for the expression cloning of members of the kinesin-related protein family. We will briefly discuss the production of the pan-specific, kinesin peptide antisera and the four conserved regions within the motor domain of th作者: Needlework 時間: 2025-3-29 22:59
Alan Bundyic signaling pathways that promote cellular behaviors such as adhesion, invasion and chemotherapeutic resistance, with the end result of promoting tumor progression. Here we discuss the mounting evidence pointing to KIF14 as a prognostic marker and oncogenic stimulus in multiple cancers, as well as 作者: ANA 時間: 2025-3-30 02:17
AbdelAli Ed-Dbali,Pierre Deransartesin-based drug targets may expand in the future..The book is suitable as a reference standard for the field of kinesins and cancer. It will interest those in academia and pharmaceutical companies, and anyone with an interest in the medical relevance of these proteins, which cutting edge methodologi作者: 譏諷 時間: 2025-3-30 06:17 作者: sinoatrial-node 時間: 2025-3-30 09:26 作者: 欺騙世家 時間: 2025-3-30 12:46
Legislation as logic programs,res. Such parallels between computing and law suggest that it might be possible to transfer useful results and techniques in both directions between these different fields. One possibility explored in this paper is that the linguistic structures of an appropriately extended logic programming languag作者: 樹膠 時間: 2025-3-30 19:04
8樓作者: 火花 時間: 2025-3-30 22:26
8樓作者: STYX 時間: 2025-3-31 01:56
8樓作者: conservative 時間: 2025-3-31 05:57
9樓作者: gregarious 時間: 2025-3-31 12:57
9樓作者: antiquated 時間: 2025-3-31 15:01
9樓作者: 儀式 時間: 2025-3-31 18:35
9樓作者: acquisition 時間: 2025-4-1 00:35
10樓作者: 羊齒 時間: 2025-4-1 04:02
10樓作者: 動機(jī) 時間: 2025-4-1 08:22
10樓作者: 光明正大 時間: 2025-4-1 13:04
10樓
