標題: Titlebook: Declarative Programming and Knowledge Management; Conference on Declar Petra Hofstedt,Salvador Abreu,Dietmar Seipel Conference proceedings [打印本頁] 作者: Novice 時間: 2025-3-21 18:38
書目名稱Declarative Programming and Knowledge Management影響因子(影響力)
書目名稱Declarative Programming and Knowledge Management影響因子(影響力)學科排名
書目名稱Declarative Programming and Knowledge Management網絡公開度
書目名稱Declarative Programming and Knowledge Management網絡公開度學科排名
書目名稱Declarative Programming and Knowledge Management被引頻次
書目名稱Declarative Programming and Knowledge Management被引頻次學科排名
書目名稱Declarative Programming and Knowledge Management年度引用
書目名稱Declarative Programming and Knowledge Management年度引用學科排名
書目名稱Declarative Programming and Knowledge Management讀者反饋
書目名稱Declarative Programming and Knowledge Management讀者反饋學科排名
作者: 取回 時間: 2025-3-21 23:01
Exploring Properties of Icosoku by Constraint Satisfaction Approachich can provide the answers to our first two questions. The purpose of this paper is to share our preliminary result and problems to encourage researchers in both group theory and constraint communities to consider this topic further.作者: VOK 時間: 2025-3-22 04:26
Facets of the , Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Lterpolation. It supports a workflow based on documents that intersperse macro definitions, invocations of reasoners, and.-formatted natural language text. Starting from various examples, the paper discusses features and application possibilities of . along with current limitations and issues for future research.作者: PATRI 時間: 2025-3-22 07:21 作者: Conduit 時間: 2025-3-22 09:57
Ahmet Cavuldak,Oliver Hidalgo,Holger Zapfnt constraint logic programming can be used to generate test data, focusing on strings in particular. To do so, we introduce a prototypical CLP solver over string constraints. As case studies, we use it to generate valid IBAN numbers, calendar dates and specific data in JSON.作者: Flu表流動 時間: 2025-3-22 14:23 作者: Flu表流動 時間: 2025-3-22 18:29
From Textual Information Sources to Linked Data in the Agatha Project the domain of criminal investigations. The provided architecture and ontology are language independent. Although some of the NLP modules are language dependent, they can be built using adequate AI methodologies.作者: SPECT 時間: 2025-3-22 23:24
Towards Constraint Logic Programming over Strings for Test Data Generationnt constraint logic programming can be used to generate test data, focusing on strings in particular. To do so, we introduce a prototypical CLP solver over string constraints. As case studies, we use it to generate valid IBAN numbers, calendar dates and specific data in JSON.作者: figure 時間: 2025-3-23 04:41
– Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative,Markup and a Cn process declarative application-specific markup that is expressed in.notation and incorporate large external fact bases that are typically provided in RDF. . includes specially developed.styles and a core system that is written in ., which is used there in many roles, utilizing that it realizes the potential of Prolog as a unifying language.作者: Libido 時間: 2025-3-23 08:08
Conference proceedings 2020ent research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques..作者: flaunt 時間: 2025-3-23 13:29
0302-9743 nctional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques..978-3-030-46713-5978-3-030-46714-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: BILL 時間: 2025-3-23 14:32 作者: 設施 時間: 2025-3-23 21:59
Oskar Niedermayer,Bettina Westleis associated with specific algebraic data types, logic variables, and strict equality. We discuss the ideas of this class and its implications on various concepts of Curry, like unification, functional patterns, and program optimization.作者: Evocative 時間: 2025-3-24 02:11 作者: 千篇一律 時間: 2025-3-24 05:04
Adding , to Curryis associated with specific algebraic data types, logic variables, and strict equality. We discuss the ideas of this class and its implications on various concepts of Curry, like unification, functional patterns, and program optimization.作者: Diverticulitis 時間: 2025-3-24 09:45
0302-9743 ge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019...The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions pr作者: Antigen 時間: 2025-3-24 14:00
https://doi.org/10.1007/978-3-663-09579-8ich can provide the answers to our first two questions. The purpose of this paper is to share our preliminary result and problems to encourage researchers in both group theory and constraint communities to consider this topic further.作者: Diaphragm 時間: 2025-3-24 16:11 作者: Encephalitis 時間: 2025-3-24 19:22
Martin Sebaldt,Simon Bein,Luis Illanses various challenges due to the peculiarities of GPU in terms of both programmability and architecture capabilities with respect to the intrinsic nature of the satisfiability problems, which exposes poor parallelism.作者: Anticoagulant 時間: 2025-3-25 02:50
Martin Sebaldt,Simon Bein,Luis Illann Mixed Integer Programming is proposed. In detail, and to our knowledge the first time, a MIP model for the dynamic behavior of fuel cell Combined Heat and Power plants is presented. Our approach is evaluated for the operation of heat pumps showing that their energy efficiency can be increased significantly.作者: 檢查 時間: 2025-3-25 03:45
https://doi.org/10.1007/978-3-663-09579-8itiveness to the recent tabulation approach [., .]. Besides, our approach can be realized in a preprocessing step, and therefore wouldn’t collide with redundancy constraints or parallel computing if implemented.作者: 易改變 時間: 2025-3-25 11:17
Ahmet Cavuldak,Oliver Hidalgo,Holger Zapf language augmented with operations that allow for side-effects and we also take the limited resources of a microcontroller into account..Our compiler and runtime environment allow to run Datalog programs on Arduino-based systems.作者: 煩憂 時間: 2025-3-25 13:00 作者: GENRE 時間: 2025-3-25 17:16
GPU-Based Parallelism for ASP-Solvingses various challenges due to the peculiarities of GPU in terms of both programmability and architecture capabilities with respect to the intrinsic nature of the satisfiability problems, which exposes poor parallelism.作者: chandel 時間: 2025-3-25 20:45 作者: indenture 時間: 2025-3-26 01:22
The Regularization of Small Sub-Constraint Satisfaction Problemsitiveness to the recent tabulation approach [., .]. Besides, our approach can be realized in a preprocessing step, and therefore wouldn’t collide with redundancy constraints or parallel computing if implemented.作者: MIRE 時間: 2025-3-26 07:03
Declarative Programming for Microcontrollers - Datalog on Arduino language augmented with operations that allow for side-effects and we also take the limited resources of a microcontroller into account..Our compiler and runtime environment allow to run Datalog programs on Arduino-based systems.作者: CHOP 時間: 2025-3-26 12:12
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programmingearch tree on-demand: depth-first search, breadth-first search, and iterative deepening depth-first search. In particular, the last two strategies allow for a complete search, which is novel in constraint-logic object-oriented programming and highlights our main contribution. Finally, we compare the implemented strategies using several benchmarks.作者: 輕彈 時間: 2025-3-26 15:04
GPU-Based Parallelism for ASP-Solvingnd efficient solvers, ASP has been successfully adopted in a wide range of application domains. Recently, with the advent of GPU Computing, which allowed the use of modern parallel Graphical Processing Units (GPUs) for general-purpose computing, new opportunities for accelerating ASP computation has作者: 發(fā)出眩目光芒 時間: 2025-3-26 17:15
A Process Calculus for Formally Verifying Blockchain Consensus Protocolsin system is to establish data consistency among distributed agents in an open network. Blockchain consensus protocols are central for performing this task..Since consensus protocols play such a crucial role in blockchain technology, several projects are underway that apply formal methods to these p作者: MOAT 時間: 2025-3-26 22:00
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programmegrated, interoperable, ecological and economical operation of building energy systems, innovative management solutions for scheduling the operation of decentralized energy systems are of great importance. The challenge is an optimal interaction between energy system components in terms of own consu作者: Ejaculate 時間: 2025-3-27 04:03
Finding Maximal Non-redundant Association Rules in Tennis Datae thousands or even millions of resulting association rules. Without further information or post-mining approaches, this huge number of rules is typically useless for the domain specialist – which is an instance of the infamous pattern explosion problem. In this work, we present a new definition of 作者: 新星 時間: 2025-3-27 08:48
From Textual Information Sources to Linked Data in the Agatha Projectproposal for representing and reasoning about Portuguese documents by means of Linked Data like ontologies and thesauri. Our approach resorts to a specialized pipeline of natural language processing (part-of-speech tagger, named entity recognition, semantic role labeling) to populate an ontology for作者: inveigh 時間: 2025-3-27 12:44 作者: chapel 時間: 2025-3-27 14:48 作者: 生存環(huán)境 時間: 2025-3-27 19:21 作者: 針葉樹 時間: 2025-3-27 22:08
Declarative Programming for Microcontrollers - Datalog on Arduinoion language for system behaviors..The application areas of cheap and easily programmable microcontroller platforms, like robotics, home automation, and IoT devices hold mainstream appeal and are often used as motivation in natural science and technology teaching. The choice of programming languages作者: 懸掛 時間: 2025-3-28 02:16
Towards Constraint Logic Programming over Strings for Test Data Generationcrafted data might not be diverse enough to enable desired test cases. Furthermore, using production data might be prohibited due to security or privacy concerns or other regulations. At the same time, existing tools for test data generation are often limited..In this paper, we evaluate to what exte作者: 生來 時間: 2025-3-28 07:48
Facets of the , Environment for Proving, Interpolating and Eliminating on the Basis of First-Order L formalizations that are structured through formula macros, and as outputs of reasoning tasks such as second-order quantifier elimination and Craig interpolation. It supports a workflow based on documents that intersperse macro definitions, invocations of reasoners, and.-formatted natural language t作者: Epithelium 時間: 2025-3-28 11:00 作者: 協迫 時間: 2025-3-28 15:46
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programmingesentation includes both the non-deterministic and deterministic behaviours of executing an application. Introducing such a representation facilitates the use of various search strategies. In order to demonstrate the applicability of our approach, we incorporate explicit search trees into the virtua作者: Efflorescent 時間: 2025-3-28 20:57 作者: 絕食 時間: 2025-3-29 01:55
Adding , to Currylong history in these languages, ranging from reflexive equality in early equational logic languages to strict equality in contemporary functional logic languages like Curry. With the introduction of type classes, where the equality operation “.” is overloaded and user-defined, the meaning became mo作者: 偶像 時間: 2025-3-29 04:30 作者: 字的誤用 時間: 2025-3-29 09:45 作者: 門閂 時間: 2025-3-29 15:18 作者: 夜晚 時間: 2025-3-29 17:52
978-3-030-46713-5Springer Nature Switzerland AG 2020作者: 借喻 時間: 2025-3-29 22:04 作者: 千篇一律 時間: 2025-3-30 03:36
https://doi.org/10.1007/978-3-658-30533-8in system is to establish data consistency among distributed agents in an open network. Blockchain consensus protocols are central for performing this task..Since consensus protocols play such a crucial role in blockchain technology, several projects are underway that apply formal methods to these p作者: 一再煩擾 時間: 2025-3-30 04:42
Martin Sebaldt,Simon Bein,Luis Illanegrated, interoperable, ecological and economical operation of building energy systems, innovative management solutions for scheduling the operation of decentralized energy systems are of great importance. The challenge is an optimal interaction between energy system components in terms of own consu作者: 共棲 時間: 2025-3-30 10:20 作者: 取回 時間: 2025-3-30 16:25
Karl Marker,Annette Schmitt,Jürgen Sirschproposal for representing and reasoning about Portuguese documents by means of Linked Data like ontologies and thesauri. Our approach resorts to a specialized pipeline of natural language processing (part-of-speech tagger, named entity recognition, semantic role labeling) to populate an ontology for作者: 額外的事 時間: 2025-3-30 19:15
Menschenwürde, Menschenrechte und Demokratie.e., pairs of endpoints, on the timeline to represent entities corresponding to actions, events, or tasks, and binary relations such as . and . to encode the possible configurations between those entities. Allen’s calculus has found its way in many academic and industrial applications that involve,
