標(biāo)題: Titlebook: Logic Programming; 21st International C Maurizio Gabbrielli,Gopal Gupta Conference proceedings 2005 Springer-Verlag Berlin Heidelberg 2005 [打印本頁] 作者: 人工合成 時(shí)間: 2025-3-21 17:49
書目名稱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é)科排名
作者: medium 時(shí)間: 2025-3-21 23:01
https://doi.org/10.1007/11562931agent-oriented logic programming; algorithm; algorithms; computational logics; constraint logic programm作者: 放逐某人 時(shí)間: 2025-3-22 03:51 作者: 無節(jié)奏 時(shí)間: 2025-3-22 06:54 作者: aviator 時(shí)間: 2025-3-22 12:33
OWL: A Description Logic Based Ontology Language,Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build complex concepts from simpler ones, an emphasis on the decidability of key reasoning tasks, and by the provision of sound, complete and (empirically) tractable reasoning services.作者: 排出 時(shí)間: 2025-3-22 15:42 作者: expire 時(shí)間: 2025-3-22 19:48
Logic Programming978-3-540-31947-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: BLA 時(shí)間: 2025-3-22 23:07 作者: 評論者 時(shí)間: 2025-3-23 04:16
geb?ren und nur im Notfall die Klinik aufzusuchen, hat sich das Verh?ltnis von klinischen zu au?erklinischen Geburten mittlerweile v?llig gewandelt: Nur 2% aller in Deutschland geborenen Kinder erblicken au?erhalb einer Klinik das Licht der Welt. Mit diesem Wandel des Geburtsortes verbunden war eine作者: AVERT 時(shí)間: 2025-3-23 06:46
Ian Horrocksich auf Erwachsene. Für das Kindesalter liegen einschl?gige Beobachtungen fast gar nicht vor. Es wird sich also darum handeln, zun?chst die an Erwachsenen gefundenen Ergebnisse auf die Verh?ltnisse des wachsenden Organismus anzuwenden, zu sehen, ob das, was an Erwachsenen gefunden wurde, auch für da作者: 門窗的側(cè)柱 時(shí)間: 2025-3-23 13:38
Francesca Rossiution auf Gr??e, Masse und Habitus besch?ftigt, so soll es jetzt unsere Aufgabe sein, die chemische Zusammensetzung des K?rpers bzw. die auf konstitutioneller Basis beruhenden Abweichungen dieser chemischen Zusammensetzung zu studieren. Die Schwierigkeiten, die sich uns hier entgegenstellen, sind un作者: MEN 時(shí)間: 2025-3-23 15:48
Peter J. Stuckey,Maria Garcia de la Banda,Michael Maher,Kim Marriott,John Slaney,Zoltan Somogyi,Markirkstoffe, wie Adrenalin, Noradrenalin und Azetylcholin, vermittelt. W?hrend diese Substanzen aber . gebildet und wirksam werden, gelangen Hormone im engeren Sinne mit der Zirkulation zu . Gebieten des K?rpers und entfalten, abgesehen von den glandotropen Hormonen, Wirkungen, die den gesamten Organi作者: Pde5-Inhibitors 時(shí)間: 2025-3-23 21:55 作者: 寬容 時(shí)間: 2025-3-24 00:22 作者: 思想 時(shí)間: 2025-3-24 03:05
Nikolay Pelov,Eugenia Ternovskan Haus zu Haus, klingeln die Bewohner heraus und singen, wenn ihnen ge?ffnet wird. Nach dem Lied oder der Strophe halten die Kinder Beutel, Tüten oder Taschen auf und die darauf vorbereiteten Hausbewohner belohnen die S?nger mit Sü?igkeiten, Nüssen und Ost, hier und da auch mit etwas Hartgeld. Eine 作者: 發(fā)出眩目光芒 時(shí)間: 2025-3-24 08:37
Diptikalyan Saha,C. R. Ramakrishnann Haus zu Haus, klingeln die Bewohner heraus und singen, wenn ihnen ge?ffnet wird. Nach dem Lied oder der Strophe halten die Kinder Beutel, Tüten oder Taschen auf und die darauf vorbereiteten Hausbewohner belohnen die S?nger mit Sü?igkeiten, Nüssen und Ost, hier und da auch mit etwas Hartgeld. Eine 作者: 人類 時(shí)間: 2025-3-24 13:48
Preference Reasoning,or negative, to name a few. Our ultimate goal is to define and study formalisms that can model problems with both constraints and many kind of preferences, possibly defined by several agents, and to develop tools to solve such problems efficiently..In this paper we briefly report on recent work towa作者: Plaque 時(shí)間: 2025-3-24 17:59
The G12 Project: Mapping Solver Independent Models to Efficient Solutions,trial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc mo作者: 仔細(xì)閱讀 時(shí)間: 2025-3-24 20:12 作者: 微不足道 時(shí)間: 2025-3-25 00:54 作者: 教唆 時(shí)間: 2025-3-25 06:37 作者: 騷動(dòng) 時(shí)間: 2025-3-25 07:35 作者: TRUST 時(shí)間: 2025-3-25 12:00
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems,P) and Constraint Logic Programming (CLP) over finite domains. The objective is to identify how the solvers in the two domains respond to different problems, highlighting strengths and weaknesses of their implementations and suggesting criteria for choosing one approach versus the other. Ultimately,作者: GLARE 時(shí)間: 2025-3-25 18:48 作者: stress-test 時(shí)間: 2025-3-25 23:47 作者: 諄諄教誨 時(shí)間: 2025-3-26 02:20 作者: Postmenopause 時(shí)間: 2025-3-26 04:21
An Optimised Semantic Web Query Language Implementation in Prolog,of RDF, an XML-based . language representing a triple-based data model. Higher languages such as the description logic based OWL language family are defined on top of RDF. Making inferences over triple collections is a promising application area for Prolog..In this article we study query translation作者: 佛刊 時(shí)間: 2025-3-26 09:37
A Distributed and Probabilistic Concurrent Constraint Programming Language, possessing a local and independent constraint store. While locally the computations evolve asynchronously, following the usual rules of (probabilistic) CCP, the communications among different nodes are synchronous. There are channels, and through them different objects can be exchanged: constraints作者: Emmenagogue 時(shí)間: 2025-3-26 16:21 作者: 拋物線 時(shí)間: 2025-3-26 18:01 作者: Conjuction 時(shí)間: 2025-3-26 22:35
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming,fine different notions of equivalence, including the well-known notions of . and ., as well as refined equivalence notions based on the . of answer sets, where not all parts of an answer set are of relevance (like, e.g., removal of auxiliary letters). In the general case, deciding the correspondence作者: 衣服 時(shí)間: 2025-3-27 02:27
Hybrid Probabilistic Logic Programs with Non-monotonic Negation,g about real-world applications. In this paper, the language of Hybrid Probabilistic Logic Programs framework of [22] is extended to allow non-monotonic negation, and two alternative semantics are defined: stable probabilistic model semantics and probabilistic well-founded semantics. Stable probabil作者: 擴(kuò)大 時(shí)間: 2025-3-27 07:52 作者: PALL 時(shí)間: 2025-3-27 13:17 作者: Infant 時(shí)間: 2025-3-27 15:04
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimizatkept separate and automatically assembled in the generation process. Alternative versions of the abstract machine are therefore easier to produce, and variants of their implementation can be created mechanically, with specific characteristics for a particular application if necessary. We illustrate 作者: 有角 時(shí)間: 2025-3-27 18:30 作者: 不可救藥 時(shí)間: 2025-3-27 23:04
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction, to provide for abduction, the most efficient of known implementations; the price, however, is a limited use of negations. The main difference wrt. previous implementations of abduction is that we avoid any level of metainterpretation by having Prolog execute the deductive steps directly and by trea作者: 誰在削木頭 時(shí)間: 2025-3-28 03:23
Hybrid Probabilistic Logic Programs with Non-monotonic Negation,This development provides a foundational ground for developing computational methods for computing the proposed semantics. Furthermore, it makes it clearer how to characterize non-monotonic negation in probabilistic logic programming frameworks for commonsense reasoning.作者: 惡心 時(shí)間: 2025-3-28 08:20
Reducing Inductive Definitions to Propositional Satisfiability,logic programs under the stable model semantics. Our experiments show that when using a state of the art SAT solver both reductions are competitive with other answer set programming systems — both direct implementations and SAT based.作者: murmur 時(shí)間: 2025-3-28 12:21 作者: aphasia 時(shí)間: 2025-3-28 15:04 作者: 衍生 時(shí)間: 2025-3-28 19:36
Ian Horrocksnen“, so zeigt uns das Neugeborene, da Umweltwirkungen bei ihm noch nicht zur Geltung gekommen sind, nur die durch Mixovariation, d. h. durch Vermischung der beiden verschiedenen elterlichen Vererbungsrichtungen oder durch Idiovariation, d. h. durch Ab?nderung des Idioplasmas selbst entstandenen Eig作者: 某人 時(shí)間: 2025-3-29 00:35
Francesca Rossien Untersuchungen an Kindesleichen und-organen von S., W., F., S., O., C. jun., T. haftet ja der Mangel an, da? die betreffenden Kinder durch kürzere oder l?ngere Zeit hindurch an mehr minder konsumierenden Krankheiten gelitten hatten, da? also mit Ver?nderungen der chemischen Zusammensetzung gerech作者: 沒血色 時(shí)間: 2025-3-29 03:51 作者: Firefly 時(shí)間: 2025-3-29 07:32 作者: OVERT 時(shí)間: 2025-3-29 12:06 作者: 圖畫文字 時(shí)間: 2025-3-29 16:05 作者: 靦腆 時(shí)間: 2025-3-29 22:07 作者: 含糊 時(shí)間: 2025-3-30 00:50
José F. Morales,Manuel Carro,Germán Puebla,Manuel V. Hermenegildo作者: Exclaim 時(shí)間: 2025-3-30 04:03 作者: 口味 時(shí)間: 2025-3-30 08:16
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming,le reductions to .. We can thus use extant solvers for the latter language as back-end inference engines for computing program correspondence problems. We also describe how our translations provide a method to construct . in case a program correspondence does not hold.作者: 注射器 時(shí)間: 2025-3-30 14:31 作者: BOAST 時(shí)間: 2025-3-30 18:39 作者: Watemelon 時(shí)間: 2025-3-30 21:20
An Optimised Semantic Web Query Language Implementation in Prolog,y the domain specific issues of this general problem. Conjunctions are often large, but the danger of poor performance of the optimiser can be avoided by exploiting the nature of the triple store. We discuss the optimisation algorithms as well as the information required from the low level storage engine.作者: 楓樹 時(shí)間: 2025-3-31 04:02 作者: Autobiography 時(shí)間: 2025-3-31 06:15
Coordination of Many Agents,to develop a trigger mechanism that allows efficient “wakeup” of blocked reactors. This paper addresses the architecture of this open framework, and discusses a general methodology for doing triggering of logic conditions using views and abstractions.作者: Chromatic 時(shí)間: 2025-3-31 11:02 作者: 消滅 時(shí)間: 2025-3-31 14:39
A Distributed and Probabilistic Concurrent Constraint Programming Language,, agents and channel themselves. In addition, all this activities are embedded in a probabilistic scheme based on a discrete model of time, both locally and globally. Finally we enhance the language with the capability of performing an automatic remote synchronization of variables belonging to different constraint stores.作者: 吹牛大王 時(shí)間: 2025-3-31 20:26 作者: 承認(rèn) 時(shí)間: 2025-4-1 01:06
Blinde Entfaltung und Entzerrung, In the context of a growing need to develop patient-specific biomedical devices, this chapter describes some physical properties and more importantly 3D microstructural characterization using micro-computed tomography.作者: 羊欄 時(shí)間: 2025-4-1 05:55 作者: thwart 時(shí)間: 2025-4-1 06:42
Willingness to Subscribe to a Meal Kit Delivery Service: A First Investigation on Its Generated Impacharacteristics of the respondents; habits about grocery (person in charge in the household and frequency; preference for large-scale retail trade or neighborhood shops; distance from shops and transport mode adopted; behavior in case of urgent need for specific products); personal attitudes regardi作者: 考博 時(shí)間: 2025-4-1 13:52
ooting and avoiding known pitfalls..?.Authoritative and practical,. Protein Nanotechnology Protocols Instruments and Applications., .Second Edition. seeks to provide an overview of this multi-faceted field and 978-1-4939-5878-8978-1-62703-354-1Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: 裂縫 時(shí)間: 2025-4-1 14:24 作者: 躺下殘殺 時(shí)間: 2025-4-1 19:24 作者: 四海為家的人 時(shí)間: 2025-4-1 23:56
