標(biāo)題: Titlebook: Applications of Declarative Programming and Knowledge Management; 18th International C Salvador Abreu,Dietmar Seipel Conference proceedings [打印本頁(yè)] 作者: VIRAL 時(shí)間: 2025-3-21 17:56
書(shū)目名稱Applications of Declarative Programming and Knowledge Management影響因子(影響力)
書(shū)目名稱Applications of Declarative Programming and Knowledge Management影響因子(影響力)學(xué)科排名
書(shū)目名稱Applications of Declarative Programming and Knowledge Management網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Applications of Declarative Programming and Knowledge Management網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Applications of Declarative Programming and Knowledge Management被引頻次
書(shū)目名稱Applications of Declarative Programming and Knowledge Management被引頻次學(xué)科排名
書(shū)目名稱Applications of Declarative Programming and Knowledge Management年度引用
書(shū)目名稱Applications of Declarative Programming and Knowledge Management年度引用學(xué)科排名
書(shū)目名稱Applications of Declarative Programming and Knowledge Management讀者反饋
書(shū)目名稱Applications of Declarative Programming and Knowledge Management讀者反饋學(xué)科排名
作者: 痛得哭了 時(shí)間: 2025-3-21 22:41
Reference work 2023Latest editionor-prone and hard to maintain, many proposals have been made to raise its level, mostly in the direction of deductive and/or object-oriented databases. We have put forward an alternative approach, inspired by natural language, that packs a lot of power in very concise and readable code, while relyin作者: inundate 時(shí)間: 2025-3-22 01:31
Muriel Gargaud,William M. Irvine,Michel Visogical variables. These variables play the role of object parameters. Object predicates can be coded to depend on the parameter values. Parametric objects are a common feature of some other object-oriented logic programming languages and Prolog object-oriented extensions. Logtalk extends the usefulne作者: FLOUR 時(shí)間: 2025-3-22 06:22 作者: offense 時(shí)間: 2025-3-22 11:27 作者: Peristalsis 時(shí)間: 2025-3-22 13:36 作者: bronchodilator 時(shí)間: 2025-3-22 17:12
David W. Latham,Nader Haghighipourates new primitives (i.e. boolean operators) in XQuery for the querying and reasoning with OWL-style triples in such a way that XQuery can be used as query language for the Semantic Web. In addition, we propose a Prolog-based implementation of the extension.作者: 修飾語(yǔ) 時(shí)間: 2025-3-23 01:00 作者: 一再困擾 時(shí)間: 2025-3-23 01:28 作者: Mobile 時(shí)間: 2025-3-23 09:20
Muriel Gargaud,William M. Irvine,Michel Visoon methods. This is achieved by means of an articulate use of Causal Bayes Nets (for heuristically gauging probable general intentions), combined with specific generation of plans involving preferences (for checking which of such intentions are plausibly being carried out in the specific situation a作者: 冰雹 時(shí)間: 2025-3-23 11:35 作者: Angiogenesis 時(shí)間: 2025-3-23 14:24 作者: cloture 時(shí)間: 2025-3-23 21:12 作者: 土坯 時(shí)間: 2025-3-23 23:15 作者: 運(yùn)動(dòng)的我 時(shí)間: 2025-3-24 05:47 作者: Glaci冰 時(shí)間: 2025-3-24 07:33
https://doi.org/10.1007/978-3-642-20589-7SAT solvers; constraint processing; data mining; model generation; program transformation作者: 責(zé)怪 時(shí)間: 2025-3-24 12:11 作者: 疼死我了 時(shí)間: 2025-3-24 16:13
Extending XQuery for Semantic Web Reasoningates new primitives (i.e. boolean operators) in XQuery for the querying and reasoning with OWL-style triples in such a way that XQuery can be used as query language for the Semantic Web. In addition, we propose a Prolog-based implementation of the extension.作者: 古董 時(shí)間: 2025-3-24 20:14 作者: 偽善 時(shí)間: 2025-3-24 23:58 作者: Grasping 時(shí)間: 2025-3-25 06:36 作者: 嘲弄 時(shí)間: 2025-3-25 09:26 作者: RECUR 時(shí)間: 2025-3-25 11:59 作者: RAGE 時(shí)間: 2025-3-25 16:21
https://doi.org/10.1007/978-3-662-44185-5ncept system based on constraint programming, implemented on several constraint solver systems. This concept allows to describe the desirable network situations through constraints on network entities, allowing a more expressive and clear way of describing network situations.作者: sundowning 時(shí)間: 2025-3-25 20:20 作者: 浮雕寶石 時(shí)間: 2025-3-26 02:52 作者: 無(wú)彈性 時(shí)間: 2025-3-26 07:49 作者: adequate-intake 時(shí)間: 2025-3-26 11:28
David W. Latham,Nader Haghighipouris approach to solve revision problems. In particular, our method allows to use the same theory to describe the search problem and the revision problem, and applies techniques from current model generators to find revised solutions.作者: 短程旅游 時(shí)間: 2025-3-26 15:28
Muriel Gargaud,William M. Irvine,Michel Viso the values of variables that contribute to a query string backwards to predict the values of contributing program variables as precisely as possible..We use . declarative features and its backtracking mechanism for code analysis, refactoring, and tuning.作者: Commentary 時(shí)間: 2025-3-26 17:33
Towards Computing Revised Models for FO Theoriesis approach to solve revision problems. In particular, our method allows to use the same theory to describe the search problem and the revision problem, and applies techniques from current model generators to find revised solutions.作者: 痛苦一下 時(shí)間: 2025-3-26 23:31 作者: 嚙齒動(dòng)物 時(shí)間: 2025-3-27 03:10 作者: 寬敞 時(shí)間: 2025-3-27 07:24 作者: institute 時(shí)間: 2025-3-27 11:20
Reference Model and Perspective Schemata Inference for Enterprise Data Integrationes a common semantic, while the latter connects schemata. This paper focuses on deduction of new perspective schemata using a proposed inference mechanism. A proof-of-concept prototype, based on Logic Programming, is presented in brief.作者: 宮殿般 時(shí)間: 2025-3-27 17:23 作者: 獎(jiǎng)牌 時(shí)間: 2025-3-27 18:55 作者: Merited 時(shí)間: 2025-3-27 22:29
Muriel Gargaud,William M. Irvine,Michel Visog set, can be reached. Furthermore, the influence of modifications like mutations or additions of further proteins can be explored. Thus, the system could direct experiments and allow to predict their outcome.作者: Hectic 時(shí)間: 2025-3-28 05:18 作者: 有機(jī)體 時(shí)間: 2025-3-28 07:14 作者: hermitage 時(shí)間: 2025-3-28 11:36
Searching in Protein State Spaceg set, can be reached. Furthermore, the influence of modifications like mutations or additions of further proteins can be explored. Thus, the system could direct experiments and allow to predict their outcome.作者: 傲慢人 時(shí)間: 2025-3-28 15:46
Conference proceedings 2011g and Knowledge Management, INAP 2009, held inévora, Portugal, in November 2009.The 12 revised full papers presented together with 2 invited talks werecarefully reviewed and selected during two rounds of reviewing andimprovement. The conference comprehensively covers the impactof programmable logic 作者: 豎琴 時(shí)間: 2025-3-28 22:31
Applications of Declarative Programming and Knowledge Management18th International C作者: dissolution 時(shí)間: 2025-3-29 02:56
An Alternative High-Level Approach to Interaction with Databasesase schemes. These rely on uniform notions of concept, attribute and reference, rather than the dichotomous entity-relationship model. Query and command expressions are variable-free terms, reading very naturally when appropriate nouns (rather than verbs) are chosen for all concept and attribute nam作者: 植物學(xué) 時(shí)間: 2025-3-29 03:40
Stabel Model Implementation of Layer Supported Models by Program Transformationomputed by extant Stable Model implementations, providing a tool for the immediate generalized use of the new semantics and its applications. TR can be used to answer queries but is also of theoretical interest, for it may be used to prove properties of programs.Moreover, TR can be employed in combi作者: accessory 時(shí)間: 2025-3-29 10:40
Adaptive Reasoning for Cooperative Agentsoperative multi-agent strategy, where each agent explores a part of the environment and shares with the others its findings, might provide better results. We describe one such framework based on a distributed genetic algorithm enhanced by a Lamarckian operator for belief revision. The agents communi作者: progestogen 時(shí)間: 2025-3-29 13:50 作者: 鋼盔 時(shí)間: 2025-3-29 15:37
0302-9743 portant fields: foundations andextensions of logic programming, databases and query languages,declarative programming with logic languages, and applications thereof.978-3-642-20588-0978-3-642-20589-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 桶去微染 時(shí)間: 2025-3-29 20:14
Reference work 2023Latest editionase schemes. These rely on uniform notions of concept, attribute and reference, rather than the dichotomous entity-relationship model. Query and command expressions are variable-free terms, reading very naturally when appropriate nouns (rather than verbs) are chosen for all concept and attribute nam作者: 蝕刻 時(shí)間: 2025-3-30 01:59
https://doi.org/10.1007/978-3-662-65093-6omputed by extant Stable Model implementations, providing a tool for the immediate generalized use of the new semantics and its applications. TR can be used to answer queries but is also of theoretical interest, for it may be used to prove properties of programs.Moreover, TR can be employed in combi作者: 共棲 時(shí)間: 2025-3-30 07:34 作者: STERN 時(shí)間: 2025-3-30 08:53 作者: 不幸的人 時(shí)間: 2025-3-30 15:43 作者: 討好美人 時(shí)間: 2025-3-30 16:33
An Alternative High-Level Approach to Interaction with Databasesor-prone and hard to maintain, many proposals have been made to raise its level, mostly in the direction of deductive and/or object-oriented databases. We have put forward an alternative approach, inspired by natural language, that packs a lot of power in very concise and readable code, while relyin
