標(biāo)題: Titlebook: Declarative Programming and Knowledge Management; Declarative Programm Michael Hanus,Ricardo Rocha Conference proceedings 2014 Springer Int [打印本頁] 作者: Indigent 時間: 2025-3-21 18:07
書目名稱Declarative Programming and Knowledge Management影響因子(影響力)
書目名稱Declarative Programming and Knowledge Management影響因子(影響力)學(xué)科排名
書目名稱Declarative Programming and Knowledge Management網(wǎng)絡(luò)公開度
書目名稱Declarative Programming and Knowledge Management網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Declarative Programming and Knowledge Management被引頻次
書目名稱Declarative Programming and Knowledge Management被引頻次學(xué)科排名
書目名稱Declarative Programming and Knowledge Management年度引用
書目名稱Declarative Programming and Knowledge Management年度引用學(xué)科排名
書目名稱Declarative Programming and Knowledge Management讀者反饋
書目名稱Declarative Programming and Knowledge Management讀者反饋學(xué)科排名
作者: Ballerina 時間: 2025-3-21 23:16 作者: nonchalance 時間: 2025-3-22 01:41
Declarative Programming and Knowledge Management978-3-319-08909-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 該得 時間: 2025-3-22 04:35 作者: Generator 時間: 2025-3-22 09:18
Propositional Encoding of Constraints over Tree-Shaped Data,es and pattern matching. Our constraint compiler CO4 translates these programs into satisfiability problems in propositional logic. We present an application from the area of automated analysis of termination of rewrite systems, and also relate CO4 to Curry.作者: 話 時間: 2025-3-22 13:59 作者: 話 時間: 2025-3-22 17:04
https://doi.org/10.1007/978-3-322-93517-5ar, solved separately, and never been addressed together in a unified setting. In this paper, we propose a class of mappings - called ., for . - that represents this unified setting. We introduce a DSE setting with particular interpretation of related data where ordinary data exchange or data integr作者: 討好女人 時間: 2025-3-22 23:57 作者: 挑剔為人 時間: 2025-3-23 04:57 作者: 音樂會 時間: 2025-3-23 08:31
https://doi.org/10.1007/978-3-658-00702-7otion of . received less attention. Logical calculi which axiomatise invalid sentences are commonly referred to as . or .. Such calculi provide a proof-theoretic account for deriving non-theorems from other non-theorems and are applied, in particular, for specifying proof systems for nonmonotonic lo作者: Confess 時間: 2025-3-23 10:22
Konservatismus und Liberalismusit may be cumbersome to implement in some programming language. On the other hand many order relations are defined in terms of an existential quantification. We provide a simple abstraction of such definitions using the well-known concept of monoid actions and furthermore show that in fact every ord作者: 臭名昭著 時間: 2025-3-23 17:55 作者: 河潭 時間: 2025-3-23 18:47
Konservatismus und Liberalismusraints and functions are restricted to integer and Boolean domains, respectively. In this paper, we generalize the domain of linear constraints to real numbers and that of objective functions to integers. Since these extensions are based on a translation from logic programs to mixed integer programs作者: 圓柱 時間: 2025-3-24 00:57
https://doi.org/10.1007/978-3-322-92270-0the functional coverage of a design. CDTG techniques analyze coverage results and adapt the stimulus generation process to improve the coverage. One of the important components of CDTG based tools is the constraint solver. The efficiency of the verification process depends on the performance of the 作者: 折磨 時間: 2025-3-24 03:49 作者: Herd-Immunity 時間: 2025-3-24 06:57 作者: carotenoids 時間: 2025-3-24 13:16 作者: 強(qiáng)制性 時間: 2025-3-24 18:25 作者: Heretical 時間: 2025-3-24 22:12
Eigeninteressen und Nutzenmaximierunge imperative semantics and data abstraction of the object-oriented paradigm, while leveraging the declarative styles of pattern-based querying and searching of complex object models. Previous papers on . have focused on the functional paradigm and data flow issues. Here, we illustrate its use under 作者: CUR 時間: 2025-3-25 02:44 作者: Clinch 時間: 2025-3-25 03:45 作者: 癡呆 時間: 2025-3-25 10:04
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/264382.jpg作者: esculent 時間: 2025-3-25 14:09 作者: ARIA 時間: 2025-3-25 19:11
Sharing and Exchanging Data,ar, solved separately, and never been addressed together in a unified setting. In this paper, we propose a class of mappings - called ., for . - that represents this unified setting. We introduce a DSE setting with particular interpretation of related data where ordinary data exchange or data integr作者: 可互換 時間: 2025-3-25 20:24 作者: Musculoskeletal 時間: 2025-3-26 02:53
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming s with respect to any given precision. In this paper, we present an approach to implementing exact real arithmetic based on . in the functional logic language Curry. It is demonstrated how the specific features of Curry can be used to obtain a high-level realisation that is close to the underlying t作者: 拖網(wǎng) 時間: 2025-3-26 05:10
On Axiomatic Rejection for the Description Logic ,,otion of . received less attention. Logical calculi which axiomatise invalid sentences are commonly referred to as . or .. Such calculi provide a proof-theoretic account for deriving non-theorems from other non-theorems and are applied, in particular, for specifying proof systems for nonmonotonic lo作者: 同時發(fā)生 時間: 2025-3-26 12:13
,And... Action! – Monoid Actions and (Pre)orders,it may be cumbersome to implement in some programming language. On the other hand many order relations are defined in terms of an existential quantification. We provide a simple abstraction of such definitions using the well-known concept of monoid actions and furthermore show that in fact every ord作者: HERTZ 時間: 2025-3-26 16:15 作者: 細(xì)胞 時間: 2025-3-26 17:36 作者: 擦掉 時間: 2025-3-26 23:37 作者: 自作多情 時間: 2025-3-27 01:46 作者: mechanism 時間: 2025-3-27 07:06
Towards Parallel Constraint-Based Local Search with the X10 Language,onstraint-Based Local Search solver. We wanted to code in this language because we expect to gain from its ease of use and independence from specific parallel architectures. We present our implementation strategy, and quest for different sources of parallelism. We discuss the algorithms, their imple作者: construct 時間: 2025-3-27 12:20 作者: cushion 時間: 2025-3-27 15:55 作者: 香料 時間: 2025-3-27 20:47 作者: 清真寺 時間: 2025-3-28 01:58 作者: 煩人 時間: 2025-3-28 02:31 作者: Redundant 時間: 2025-3-28 09:30 作者: CARK 時間: 2025-3-28 11:05
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs,nteresting properties and relations of the graph structures, such as loops, and we consider both answer set and well-founded semantics. We also present two different approaches for the determination of assumptions in an extended dependency graph, an optimal but exponential and a sub-optimal but linear one.作者: 阻止 時間: 2025-3-28 17:35
Conference proceedings 2014ented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.作者: neoplasm 時間: 2025-3-28 19:38
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming language Curry. It is demonstrated how the specific features of Curry can be used to obtain a high-level realisation that is close to the underlying theoretical concepts. The new Curry data type Real and its corresponding functions can easily be used in other function definitions.作者: 誘惑 時間: 2025-3-29 02:53 作者: Emmenagogue 時間: 2025-3-29 05:45 作者: LEER 時間: 2025-3-29 09:43
A Datalog Engine for GPUs,ps data between memory in the host platform (a multicore) and memory in the GPU in order to reduce the number of memory transfers. To evaluate the performance of the engine, four Datalog queries were run on the engine and on a single CPU in the multicore host. One query runs up?to 200 times faster on the (GPU) engine than on the CPU.作者: 充滿裝飾 時間: 2025-3-29 12:16 作者: 性學(xué)院 時間: 2025-3-29 18:48
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley,rching of complex object models. Previous papers on . have focused on the functional paradigm and data flow issues. Here, we illustrate its use under the logic paradigm. We discuss the expressiveness and evaluate the performance of . in terms of the well-known combinatorial search problem “send more money” and its generalizations.作者: hypertension 時間: 2025-3-29 23:34
In Bedr?ngnis: Journalismus in ?sterreichnteresting properties and relations of the graph structures, such as loops, and we consider both answer set and well-founded semantics. We also present two different approaches for the determination of assumptions in an extended dependency graph, an optimal but exponential and a sub-optimal but linear one.作者: Morbid 時間: 2025-3-30 01:22
0302-9743 lowing conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Ger作者: 系列 時間: 2025-3-30 06:49 作者: Venules 時間: 2025-3-30 11:54
Konservatismus und Liberalismuscation. We provide a simple abstraction of such definitions using the well-known concept of monoid actions and furthermore show that in fact every order relation can be obtained from a specific monoid action.作者: dialect 時間: 2025-3-30 13:42
Konservatismus und Liberalismusl numbers and that of objective functions to integers. Since these extensions are based on a translation from logic programs to mixed integer programs, we compare the translation-based answer set programming approach with the native mixed integer programming approach using a number of benchmark problems.作者: 不安 時間: 2025-3-30 19:27
https://doi.org/10.1007/978-3-322-92270-0ps data between memory in the host platform (a multicore) and memory in the GPU in order to reduce the number of memory transfers. To evaluate the performance of the engine, four Datalog queries were run on the engine and on a single CPU in the multicore host. One query runs up?to 200 times faster on the (GPU) engine than on the CPU.作者: 截斷 時間: 2025-3-30 23:24
Parteiendemokratie in Schleswig-Holsteinparallel architectures. We present our implementation strategy, and quest for different sources of parallelism. We discuss the algorithms, their implementations and present a performance evaluation on a representative set of benchmarks.作者: 冰河期 時間: 2025-3-31 03:42 作者: prostatitis 時間: 2025-3-31 07:15 作者: 流利圓滑 時間: 2025-3-31 12:34 作者: 規(guī)范就好 時間: 2025-3-31 14:40 作者: 把…比做 時間: 2025-3-31 19:15
Eigeninteressen und Nutzenmaximierungion of debate games in a non-abstract argumentation framework associated with logic programming. Moreover, it provides a novel application of logic programming to modelling social debates which involve argumentative reasoning, belief update and dishonest reasoning.作者: 提升 時間: 2025-3-31 22:12
Sharing and Exchanging Data, used to generate the complete set of exchanged data. We identify among those a particular DSE solution with good properties; namely, one that contains a minimal amount of explicit data. Finally, we define the set of certain answers to conjunctive queries.作者: NICHE 時間: 2025-4-1 03:32
