Titlebook: Applications of Declarative Programming and Knowledge Management; 17th International C Dietmar Seipel,Michael Hanus,Armin Wolf Conference p

Coenzyme

书目名称Applications of Declarative Programming and Knowledge Management影响因子(影响力)




书目名称Applications of Declarative Programming and Knowledge Management影响因子(影响力)学科排名




书目名称Applications of Declarative Programming and Knowledge Management网络公开度




书目名称Applications of Declarative Programming and Knowledge Management网络公开度学科排名




书目名称Applications of Declarative Programming and Knowledge Management被引频次




书目名称Applications of Declarative Programming and Knowledge Management被引频次学科排名




书目名称Applications of Declarative Programming and Knowledge Management年度引用




书目名称Applications of Declarative Programming and Knowledge Management年度引用学科排名




书目名称Applications of Declarative Programming and Knowledge Management读者反馈




书目名称Applications of Declarative Programming and Knowledge Management读者反馈学科排名

古代

Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resourceor the constraints within such constraint optimization problems, in particular for the constraints representing the objectives to be optimized, will result in faster convergence of branch & bound algorithms..This paper presents new pruning rules for linear weighted (task) sums where the summands are

Ostrich

Efficient Edge-Finding on Unary Resources with Optional Activitiesin constraint programming environments. Often it depends on external factors if an activity will be included in the final schedule, making the activity optional. Currently known edge-finding algorithms cannot take optional activities into account. This paper introduces an edge-finding algorithm that

Blood-Vessels

态学

Constraint-Based Timetabling System for the German University in Cairoess. In this paper, we introduce the course and examination timetabling problems at the German University in Cairo. As manual generation of schedules is time-consuming and inconvenient, we show how these problems can be modeled as constraint satisfaction problems and can be solved using SICStus Prol

puzzle

auxiliary

Relational Models for Tabling Logic Programs in a Databasehat compute large and/or many answers, memory exhaustion is a potential problem. In such cases, table deletion is the most common approach to recover space. In this work, we propose a different approach, storing tables into a relational database. Subsequent calls to stored tables import answers from

结束

Integrating XQuery and Logic Programming program. This logic program represents the document schema by means of rules and the document itself by means of facts. Now, XQuery expressions can be integrated into logic programming by considering a translation (i.e. encoding) of . expressions by means of logic rules and a goal.

FEIGN

Causal Subgroup Analysis for Detecting Confounding by generating an extended causal subgroup network utilizing background knowledge. Using the links within the network we can identify relations that are potentially confounded by external (confounding) factors. In a semi-automatic approach, the network and the discovered relations are then presented

LAP

Using Declarative Specifications of Domain Knowledge for Descriptive Data Miningproach for providing domain knowledge in a .: We utilize a Prolog knowledge base with facts for the specification of properties of ontological concepts and rules for the derivation of further ad-hoc relations between these concepts. This enhances the ., ., and . of the applied knowledge. Furthermore